Explicit substitutions for pi-congruences
This paper focusses on explicit substitutions in the pi -calculus. The investigation is carried on in the pi zeta -calculus, a process calculus with explicit constructors to handle name substitutions. The pi zeta -calculus has already been shown to capture pi -calculus bisimulation semantics. Here we extend the pi -calculus to characterize late pi -congruences, both strong and weak. A coincidence result with open semantics is proved, too. (C) 2001 Elsevier Science B.V. All rights reserved.
open semantics pi-calculus semantics late bisimulations late congruences ccs bisimulations