The following pages link to CONCUR 2004 - Concurrency Theory (Q5311491):
Displaying 9 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Angelic semantics of fine-grained concurrency (Q2474441) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- Handshake Games (Q2864210) (← links)
- A Graph Abstract Machine Describing Event Structure Composition (Q2867884) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- (Q5382449) (← links)
