Pages that link to "Item:Q5308452"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308452):
Displayed 6 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← 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)