Pages that link to "Item:Q3525651"
From MaRDI portal
The following pages link to Asynchronous Games: Innocence Without Alternation (Q3525651):
Displaying 17 items.
- On concurrent games with payoff (Q265795) (← links)
- An approach to innocent strategies as graphs (Q418201) (← links)
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- Deterministic concurrent strategies (Q1941878) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- The structure of first-order causality (Q3081323) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- Partial Orders, Event Structures and Linear Strategies (Q3637188) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- (Q5013809) (← links)
- (Q5079725) (← links)
- (Q5079740) (← links)
- (Q5091106) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- (Q5111308) (← links)
