Pages that link to "Item:Q672053"
From MaRDI portal
The following pages link to Models for concurrency: Towards a classification (Q672053):
Displayed 12 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Representation of computations in concurrent automata by dependence orders (Q1269906) (← links)
- Synchronization expressions with extended join operation (Q1274985) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Synchronization languages and rewriting systems (Q1854431) (← links)
- Clustering for Petri nets (Q1884880) (← links)
- EMSO-logic and automata related to homogeneous flow event structures (Q1885039) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Refinement preserving approximations for the design and verification of heterogeneous systems (Q2642667) (← links)
- Approximating Behaviors in Embedded System Design (Q3507398) (← links)
- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification (Q3614835) (← links)
- Branching time controllers for discrete event systems (Q5958466) (← links)