Ludics Nets, a game Model of Concurrent Interaction

We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the interactions (plays) result into partial orders.

• Type: Conference
• Year: 2005
• Where: LICS
• Authors: Claudia Faggian, François Maurel
• Keywords: Computer Science, Concurrent Interaction, Game Model, Games Semantics, LICS 2005