Open bisimulation, revisited (Q2465030)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5221689
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Open bisimulation, revisited |
scientific article; zbMATH DE number 5221689 |
Statements
Open bisimulation, revisited (English)
0 references
19 December 2007
0 references
\(\pi \)-calculus
0 references
spi-calculus
0 references
open bisimulation
0 references
0.9930076003074646
0 references
0.8541026711463928
0 references
0.8530244827270508
0 references
0.849726140499115
0 references
0.8355688452720642
0 references
