The following pages link to (Q3204033):
Displaying 10 items.
- Bisimulation and action refinement (Q685407) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- \(\tau\)-bisimulations and full abstraction for refinement of actions (Q1183474) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
