A Distribution Law for CCS and a New Congruence Result for the pi-calculus
We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite pi-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of t...
Main Authors: | Daniel Hirschkoff, Damien Pous |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2008-05-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/823/pdf |
Similar Items
-
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
by: Rob van Glabbeek, et al.
Published: (2020-08-01) -
Semantics of Typed Lambda-Calculus with Constructors
by: Barbara Petit
Published: (2011-03-01) -
Separability in the Ambient Logic
by: Daniel Hirschkoff, et al.
Published: (2008-09-01) -
On tractability and congruence distributivity
by: Emil Kiss, et al.
Published: (2007-06-01) -
RPO, Second-order Contexts, and Lambda-calculus
by: Pietro Di Gianantonio, et al.
Published: (2009-08-01)