21734 articles – 15570 Notices  [english version]

hal-00429610, version 3

Order algebras: a quantitative model of interaction

Emmanuel Beffara () 1

(07/07/2011)

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.

  • 1 :  Institut de mathématiques de Luminy (IML)
  • CNRS : UMR6206 – Université de la Méditerranée - Aix-Marseille II
 
  • hal-00429610, version 3
  • oai:hal.archives-ouvertes.fr:hal-00429610
  • Contributeur : 
  • Soumis le : Jeudi 7 Juillet 2011, 15:42:38
  • Dernière modification le : Jeudi 7 Juillet 2011, 16:46:56