Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence (Q5187823)
From MaRDI portal
scientific article; zbMATH DE number 5679032
Language | Label | Description | Also known as |
---|---|---|---|
English | Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence |
scientific article; zbMATH DE number 5679032 |
Statements
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence (English)
0 references
9 March 2010
0 references
synchronous message passing
0 references
bisimulation
0 references
trace equivalence
0 references
refusal equivalence
0 references