hal-00429610, version 2
Order algebras: a quantitative model of interaction
(04/04/2010)
Résumé : A quantitative model of concurrent interaction in 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 :
- CNRS : UMR6206 – Université de la Méditerranée - Aix-Marseille II
- Domaine : Informatique/Logique en informatique
Informatique/Mathématique discrète
Mathématiques/Combinatoire - Versions disponibles : v1 (03-11-2009) v2 (31-05-2010) v3 (07-07-2011)
- hal-00429610, version 2
- http://hal.archives-ouvertes.fr/hal-00429610
- oai:hal.archives-ouvertes.fr:hal-00429610
- Contributeur :
- Soumis le : Mardi 6 Avril 2010, 14:18:36
- Dernière modification le : Lundi 31 Mai 2010, 11:07:12



Documents associés

Exporter