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. Th...

Full description

Saved in:
Bibliographic Details
Main Authors: Siva Anantharaman, Chen, J., Hains, G.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Calculus
Carbon capture and storage
Cost function
Electronic mail
Equations
Interleaved codes
Quality of service
Software quality
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1551-0255
2160-7656
DOI:10.1109/SEFM.2005.6