Open bisimulation, revisited (Q2465030)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Open bisimulation, revisited |
scientific article |
Statements
Open bisimulation, revisited (English)
0 references
19 December 2007
0 references
\(\pi \)-calculus
0 references
spi-calculus
0 references
open bisimulation
0 references
