Explicit substitutions for \(\pi\)-congruences (Q5958613)
From MaRDI portal
scientific article; zbMATH DE number 1715642
Language | Label | Description | Also known as |
---|---|---|---|
English | Explicit substitutions for \(\pi\)-congruences |
scientific article; zbMATH DE number 1715642 |
Statements
Explicit substitutions for \(\pi\)-congruences (English)
0 references
3 March 2002
0 references
calculus semantics
0 references
late bisimulations
0 references
late congruences
0 references
open semantics
0 references
CCS bisimulations
0 references