Order algebras: a quantitative model of interaction - Archive ouverte HAL
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2018

Order algebras: a quantitative model of interaction

Résumé

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.
Fichier principal
Vignette du fichier
oa.pdf (474.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00429610 , version 1 (03-11-2009)
hal-00429610 , version 2 (06-04-2010)
hal-00429610 , version 3 (07-07-2011)

Identifiants

Citer

Emmanuel Beffara. Order algebras: a quantitative model of interaction. Mathematical Structures in Computer Science, 2018, ⟨10.1017/S0960129516000360⟩. ⟨hal-00429610v3⟩
256 Consultations
196 Téléchargements

Altmetric

Partager

More