Search

Home
Team
Publications
News

Light Dark Automatic

Xi-Calculus: A Calculus for Service Interactions

Vineet Rajani, Arun Kumar, Dharanipragada Janakiram

Jan 1, 2010

© 2025 Information Security and Privacy Research Group at UNSW - All rights reserved.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite