Pages that link to "Item:Q5308452"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308452):
Displayed 11 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- Definability and Full Abstraction (Q2864154) (← links)
- A Graph Abstract Machine Describing Event Structure Composition (Q2867884) (← links)
- Partial Orders, Event Structures and Linear Strategies (Q3637188) (← links)
- (Q5111648) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- (Q6193834) (← links)