 |
|
|
|
| HAL : hal-00429610, version 3 |
| arXiv : 0911.0630 |
| Fiche détaillée |  Récupérer au format |
|
|
| Versions disponibles : | v1 (03-11-2009) | v2 (31-05-2010) | v3 (07-07-2011) |
|
|
|
|
| Order algebras: a quantitative model of interaction |
|
|
| Emmanuel Beffara 1 |
|
|
| (07/07/2011) |
|
|
|
| A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Institut de mathématiques de Luminy (IML) |
|
|
|
CNRS : UMR6206 – Université de la Méditerranée - Aix-Marseille II |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logique en informatique Informatique/Mathématique discrète Mathématiques/Combinatoire |
|
|
|
|
| hal-00429610, version 3 | |
| http://hal.archives-ouvertes.fr/hal-00429610 | |
| oai:hal.archives-ouvertes.fr:hal-00429610 | |
| Contributeur : Emmanuel Beffara | |
| Soumis le : Jeudi 7 Juillet 2011, 15:42:38 | |
| Dernière modification le : Jeudi 7 Juillet 2011, 16:46:56 | |
