The following pages link to (Q3718143):
Displaying 14 items.
- Abstraction for concurrent objects (Q615951) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Modeling concurrency with partial orders (Q1091134) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Denotational semantics in the cpo and metric approach (Q1346621) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- An algebra for pomsets. (Q1854275) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- Generic Models of the Laws of Programming (Q2842638) (← links)
- (Q3385652) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- Temporal structures (Q5096250) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)
- Concurrent hyperproperties (Q6535831) (← links)