A Synchronous Process Calculus for Service Costs

Authors:
Siva Anantharaman;Jing Chen;Gaetan Hains
Affiliations:
LIFO - Universite d' Orleans, France;LIFO - Universite d' Orleans, France;LIFO - Universite d' Orleans, France
Venue:
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Year:
2005

Citing 6
Cited 0

Communication and concurrency

Communication and concurrency
CCS expressions finite state processes, and three problems of equivalence

Information and Computation
Handbook of Process Algebra

Handbook of Process Algebra
Process Algebra with Timing

Process Algebra with Timing
Noninterference for concurrent programs and thread systems

Theoretical Computer Science
A process calculus for qos-aware applications

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

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.