Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews