Title :
Ludics nets, a game model of concurrent interaction
Author :
Faggian, Claudia ; Maurel, Francois
Author_Institution :
Padova Univ., Italy
Abstract :
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.
Keywords :
concurrency theory; formal logic; graph theory; theorem proving; Games Semantics; L-net abstract proof net; Ludics nets; concurrent interaction game model; graph theory; multiplicative additive linear logic; Additives; Bridges; Calculus; Computational modeling; Concurrent computing; Constraint theory; Logic; Parallel processing; Testing; Tree graphs;
Conference_Titel :
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on
Print_ISBN :
0-7695-2266-1
DOI :
10.1109/LICS.2005.25
