A Synchronous Process Calculus for Service Costs.

Siva Anantharaman, Jing Chen, Gatan Hains

Browse the full SEFM paper archive.