@dblp

A Symbolic Semantics for a Calculus for Service-Oriented Computing.

, , and . PLACES@DisCoTec, volume 241 of Electronic Notes in Theoretical Computer Science, page 135-164. Elsevier, (2008)

Links and resources

Tags