 |
Université d'Orléans |  |
|
Université d'Orléans | |
| HAL : hal-00079676, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Software Engineering and Formal Methods (SEFM) 2005, Koblenz : Allemagne (2005) |
|
|
|
|
| A Synchronous Process Calculus for Service Costs |
|
|
| Siva Anantharaman 1Jing Chen 1 |
|
|
| (2005) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Informatique et langage |
|
|
| process algebra – synchronization – bismulation – trace – semi-ring – cost calculus – quality of service. |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00079676, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00079676 | |
| oai:hal.archives-ouvertes.fr:hal-00079676 | |
| Contributeur : Siva Anantharaman | |
| Soumis le : Mardi 13 Juin 2006, 14:18:04 | |
| Dernière modification le : Mercredi 31 Mars 2010, 15:46:16 | |
