2006 · 35 citations · 8 references
ComputingComputer ScienceDesignGame TheoryInteraction DesignParallel ComputingConcurrent ModelingDirected Acyclic GraphsStrategic InteractionConcurrency ModelsConcurrency RepresentationConcurrency TheoryConcurrent Computation
We introduce L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs, and the interactions (plays) result into partial orders, hence allowing for parallelism.
8
Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations
Concurrent games and full completeness
Samson Abramsky, Paul-André Melliès · 2003 · 169 citations