Xi-Calculus: A Calculus for Service Interactions

Vineet Rajani, Arun Kumar, Dharanipragada Janakiram
January 2010
Cite DOI URL
Type
Conference paper
Publication
2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010