Order algebras: a quantitative model of interaction - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2010

Order algebras: a quantitative model of interaction

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.
Fichier principal
Vignette du fichier
oa.pdf (403.84 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. 2010. ⟨hal-00429610v2⟩
255 Consultations
188 Téléchargements

Altmetric

Partager

More