Ludics Nets, a game Model of Concurrent Interaction
Claudia Faggian, François Maurel · 2006
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.