Pages that link to "Item:Q5308452"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308452):
Displaying 14 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Angelic semantics of fine-grained concurrency (Q2474441) (← 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)
- Causality vs. interleavings in concurrent game semantics (Q4608684) (← links)
- (Q5111648) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- Automata, Languages and Programming (Q5466504) (← links)
- The mays and musts of concurrent strategies (Q6612785) (← links)