Browsing Publications of the Faculty of Computer Science by Subject "Logics and meanings of programs"
Now showing items 1-1 of 1
(Springer, 2009)This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from DecSerFlow as a graphical choreography description language. We select a core set of DecSerFlow ...