Sciweavers

40 search results - page 1 / 8
» Concurrent Games and Full Completeness
Sort
View
LICS
1999
IEEE
13 years 8 months ago
Concurrent Games and Full Completeness
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...
Samson Abramsky, Paul-André Melliès
LICS
1994
IEEE
13 years 7 months ago
Linear Logic, Totality and Full Completeness
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
Ralph Loader
FOSSACS
2005
Springer
13 years 9 months ago
Full Abstraction for Polymorphic Pi-Calculus
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
Alan Jeffrey, Julian Rathke
VRST
2004
ACM
13 years 9 months ago
GameOD: an internet based game-on-demand framework
Multiplayer online 3D games are becoming very popular in recent years. However, existing games require the complete game content to be installed prior to game playing. Since the c...
Frederick W. B. Li, Rynson W. H. Lau, Danny Kilis
FSTTCS
2009
Springer
13 years 10 months ago
On Timed Alternating Simulation for Concurrent Timed Games
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
Laura Bozzelli, Axel Legay, Sophie Pinchinat