Bisimulation indexes and their applications (Q1606119)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bisimulation indexes and their applications |
scientific article; zbMATH DE number 1774095
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bisimulation indexes and their applications |
scientific article; zbMATH DE number 1774095 |
Statements
Bisimulation indexes and their applications (English)
0 references
31 July 2002
0 references
bisimulation
0 references
asynchronous process calculus
0 references
0 references
0.89007425
0 references
0.8890858
0 references
0.88634586
0 references
0 references
0.8774992
0 references
0.8745051
0 references