Order algebras: a quantitative model of interaction

Abstract : 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.
Liste complète des métadonnées

https://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
Document(s) archivé(s) le : samedi 8 octobre 2011 - 02:35:17

Fichiers

oa.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00429610, version 3
  • ARXIV : 0911.0630

Collections

Citation

Emmanuel Beffara. Order algebras: a quantitative model of interaction. 2011. 〈hal-00429610v3〉

Partager

Métriques

Consultations de
la notice

174

Téléchargements du document

46