Pages that link to "Item:Q1089791"
From MaRDI portal
The following pages link to Bisimulations and abstraction homomorphisms (Q1089791):
Displaying 12 items.
- Universal axioms for bisimulations (Q685411) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Observational structures and their logic (Q1190494) (← links)
- Bisimulation is two-way simulation (Q1342255) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- (Q5411462) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479164) (← links)
- Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926) (← links)
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (Q6104378) (← links)