Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048)
From MaRDI portal
scientific article; zbMATH DE number 6416849
Language | Label | Description | Also known as |
---|---|---|---|
English | Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences |
scientific article; zbMATH DE number 6416849 |
Statements
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (English)
0 references
19 March 2015
0 references
bisimulation equivalence
0 references
distributed bisimulation
0 references
weak bisimulation
0 references
branching bisimulation
0 references
basic parallel processes
0 references
unique decomposition
0 references
0 references
0 references