A Synchronous Process Calculus for Service Costs

We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply in this calculus, which in addition allows us to model naturally other notions such as service, and quality of service. They can be studied in an algebraic semi-ring setup using notions of cost on the transitions.

• Type: Conference
• Year: 2005
• Where: SEFM
• Authors: Siva Anantharaman, Jing Chen, Gaétan Hains
• Keywords: Central Algebraic Notion, Process Calculus, SEFM 2005, Software Engineering, Synchronous Composition