Decision procedures and graph reductions for bisimulation equivalences part 1 (Q4203808)
From MaRDI portal
scientific article; zbMATH DE number 4123285
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decision procedures and graph reductions for bisimulation equivalences part 1 |
scientific article; zbMATH DE number 4123285 |
Statements
Decision procedures and graph reductions for bisimulation equivalences part 1 (English)
0 references
1989
0 references
bisimulation equivalences
0 references
concurrent processes
0 references
transition
0 references
systems
0 references
Process algebra
0 references
specification
0 references
graph models
0 references
graph reduction
0 references
Process graphs
0 references
