DocumentCode
3026847
Title
A synchronous process calculus for service costs
Author
Anantharaman, Siva ; Chen, Jing ; Hains, Gaetan
Author_Institution
LIFO, Orleans Univ., France
fYear
2005
fDate
7-9 Sept. 2005
Firstpage
435
Lastpage
444
Abstract
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.
Keywords
bisimulation equivalence; client-server systems; process algebra; quality of service; algebraic semi-ring setup; bisimulation equivalence; client-server system; service cost; synchronous composition; synchronous process calculus; Application software; Calculus; Carbon capture and storage; Cost function; Electronic mail; Equations; Interleaved codes; Quality of service; Software quality;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on
Print_ISBN
0-7695-2435-4
Type
conf
DOI
10.1109/SEFM.2005.6
Filename
1575933
Link To Document