Communication Dans Un Congrès Année : 2005

A Synchronous Process Calculus for Service Costs

Résumé

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.

Fichier principal
Vignette du fichier
SiJiHa-ServCostCalc.pdf (137.32 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00079676 , version 1 (13-06-2006)

Licence

Identifiants

  • HAL Id : hal-00079676 , version 1

Citer

Siva Anantharaman, Jing Chen, Gaétan Hains. A Synchronous Process Calculus for Service Costs. Software Engineering and Formal Methods (SEFM) 2005, 2005, Koblenz, Germany. pp.435--444. ⟨hal-00079676⟩
118 Consultations
198 Téléchargements

Partager

  • More