DocumentCode :
3037777
Title :
Concurrent games and full completeness
Author :
Abramsky, Samson ; Melliès, Paul-André
Author_Institution :
Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
fYear :
1999
fDate :
1999
Firstpage :
431
Lastpage :
442
Abstract :
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It also admits an elegant and robust formalization. A Full Completeness Theorem for Multiplicative-Additive Linear Logic is proved for this semantics
Keywords :
concurrency theory; formal logic; completeness theorem; concurrent; game semantics; linear logic; Computational modeling; Computer languages; Computer science; Concurrent computing; Ear; Electronic switching systems; Geometry; Informatics; Logic programming; Polarization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 1999. Proceedings. 14th Symposium on
Conference_Location :
Trento
ISSN :
1043-6871
Print_ISBN :
0-7695-0158-3
Type :
conf
DOI :
10.1109/LICS.1999.782638
Filename :
782638
Link To Document :
بازگشت