540 search results - page 2 / 108 » Logical Semantics of Types for Concurrency |
AIIA
2005
Springer
13 years 11 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
ENTCS
2006
13 years 6 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
APLAS
2004
ACM
13 years 11 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
CCS
2004
ACM
13 years 11 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
LICS
1999
IEEE
13 years 10 months ago
1999
IEEE
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...