Pages that link to "Item:Q2474441"
From MaRDI portal
The following pages link to Angelic semantics of fine-grained concurrency (Q2474441):
Displaying 8 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)
