Quantitative testing semantics for non-interleaving - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2009

Quantitative testing semantics for non-interleaving

Résumé

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

Dates et versions

hal-00397551 , version 1 (22-06-2009)

Identifiants

Citer

Emmanuel Beffara. Quantitative testing semantics for non-interleaving. 2009. ⟨hal-00397551⟩
136 Consultations
70 Téléchargements

Altmetric

Partager

More