Xi-Calculus: A Calculus for Service Interactions.

Vineet Rajani Arun Kumar Dharanipragada Janakiram

Published in: IEEE SCC (2010)

Keyphrases

automated deduction
management system
service oriented
provably correct
collaborative learning
service providers
information services
formal language
computer algebra