The following pages link to (Q4733430):
Displaying 9 items.
- Structure of concurrency (Q685384) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- A semantic characterization for faults in replicated systems (Q1330427) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- Algebra and theory of order-deterministic pomsets (Q1815430) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)