Pages that link to "Item:Q2474441"
From MaRDI portal
The following pages link to Angelic semantics of fine-grained concurrency (Q2474441):
Displaying 11 items.
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- Full Abstraction Without Synchronization Primitives (Q3178268) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- (Q5111308) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
