@inproceedings{PTN08:PLACES,
author = {R.~Pugliese and F.~Tiezzi and N.~Yoshida},
title = {A {S}ymbolic {S}emantics for a {C}alculus for {S}ervice-{O}riented {C}omputing},
booktitle = {Proc. of Programming Language Approaches to Concurrency
and Communication-cEntric Software (PLACES'08)},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
volume = {241},
pages = {135-164},
year = {2009},
}