An algebraic process calculus

Abstract : We present an extension of the πI-calculus with formal sums of terms. A study of the properties of this sum reveals that its neutral element 0 can be used to make assumptions about the behaviour of the environment of a process. From this observation we derive an enriched calculus that enjoys a confluent reduction which preserves the testing semantics of processes. This system is shown to be strongly normalising for terms without replication, and the study of its normal forms provides fully abstract trace semantics for testing of πI processes.
Type de document :
Communication dans un congrès
Logic in Computer Science, Jun 2008, Pittsburgh, United States. pp.130--141, 2008
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00397531
Contributeur : Emmanuel Beffara <>
Soumis le : lundi 22 juin 2009 - 14:22:40
Dernière modification le : lundi 22 juin 2009 - 14:22:40

Identifiants

  • HAL Id : hal-00397531, version 1

Collections

Citation

Emmanuel Beffara. An algebraic process calculus. Logic in Computer Science, Jun 2008, Pittsburgh, United States. pp.130--141, 2008. 〈hal-00397531〉

Partager

Métriques

Consultations de la notice

48