288 search results - page 45 / 58 » Nominal Game Semantics |
136
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...
144
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
169
Voted
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
165
click to vote
NJC
2002
15 years 5 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
223
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...