Quantitative testing semantics for non-interleaving

Abstract : This paper presents a non-interleaving denotational semantics for the π-calculus. The basic idea is to define a notion of test where the outcome is not only whether a given process passes a given test, but also in how many different ways it can pass it. More abstractly, the set of possible outcomes for tests forms a semiring, and the set of process interpretations appears as a module over this semiring, in which basic syntactic constructs are affine operators. This notion of test leads to a trace semantics in which traces are partial orders, in the style of Mazurkiewicz traces, extended with readiness information. Our construction has standard may- and must-testing as special cases.
Type de document :
Pré-publication, Document de travail
2009
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00397551
Contributeur : Emmanuel Beffara <>
Soumis le : lundi 22 juin 2009 - 14:48:04
Dernière modification le : lundi 22 juin 2009 - 15:02:36
Document(s) archivé(s) le : mardi 15 juin 2010 - 18:13:30

Fichiers

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

Identifiants

  • HAL Id : hal-00397551, version 1
  • ARXIV : 0906.3994

Collections

Citation

Emmanuel Beffara. Quantitative testing semantics for non-interleaving. 2009. 〈hal-00397551〉

Partager

Métriques

Consultations de
la notice

168

Téléchargements du document

53