Rigid Families for CCS and the π-calculus
Résumé
This paper presents a novel causal semantics for concurrency, based on rigid families. Instead of having causality as primitive notion, in our model causality and concurrency are derived from precedence, a partial order local to each run of a process. We show that our causal semantics can interpret CCS and π-calculus terms. We propose some criteria to evaluate the correctness of a causal semantics of process calculi and we argue that none of the previous models for the π-calculus satisfy them all.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...