Browsing Conference related Publications - Computer Science by Subject "Computer communication networks"
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 ...