The following pages link to A System-Level Game Semantics (Q3178283):
Displayed 8 items.
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- Higher-order linearisability (Q2423744) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- (Q5021229) (← links)
- (Q5111648) (← links)