The following pages link to (Q4038723):
Displaying 7 items.
- CONCUR 2005 – Concurrency Theory (Q5897489) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Apartness and distinguishing formulas in Hennessy-Milner logic (Q6163888) (← links)
- Characterization and verification of stuttering equivalence (Q6165772) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
- Compositional verification of priority systems using sharp bisimulation (Q6564171) (← links)