Bisimilarity on basic process algebra is in 2-ExpTime (an explicit proof) (Q4913773)
From MaRDI portal
!
WARNING
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 6152240
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bisimilarity on basic process algebra is in 2-ExpTime (an explicit proof) |
scientific article; zbMATH DE number 6152240 |
Statements
Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof) (English)
0 references
9 April 2013
0 references
bisimulation equivalence
0 references
basic process algebra
0 references
complexity
0 references
0.8603260517120361
0 references
0.8410590291023254
0 references
0.8306260704994202
0 references
0.8208486437797546
0 references
0.8191795945167542
0 references
