The following pages link to (Q4430315):
Displayed 17 items.
- Diagnosis from scenarios (Q481349) (← links)
- Fairness and partial order semantics (Q672492) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- A\(^ 2\)CCS: Atomic actions for CCS (Q912608) (← links)
- An algebra for process creation (Q1203719) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- Synchronization languages and rewriting systems (Q1854431) (← links)
- Vertical implementation (Q1854462) (← links)
- Synchronous and asynchronous communication(s) between three parties (Q2182658) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)