On deciding trace equivalences for processes (Q1310916)
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: On deciding trace equivalences for processes |
scientific article; zbMATH DE number 484058
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On deciding trace equivalences for processes |
scientific article; zbMATH DE number 484058 |
Statements
On deciding trace equivalences for processes (English)
0 references
13 March 1994
0 references
\(\prod^ p_ 2\)-complete
0 references
\(NL\)-complete
0 references
co-\(NP\)-complete
0 references
concurrency theory
0 references
processes
0 references
context-free grammars
0 references
Greibach normal form
0 references
regularity problem
0 references
undecidability
0 references
PSPACE-complete
0 references
trace equivalence
0 references
0 references
0.91212046
0 references
0.91212046
0 references
0.90039986
0 references
0.90039986
0 references
0.89096576
0 references
0.87767047
0 references
