540 search results - page 2 / 108 » Logical Semantics of Types for Concurrency |
122
Voted
AIIA
2005
Springer
15 years 9 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...
148
Voted
ENTCS
2006
15 years 3 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...
141
Voted
APLAS
2004
ACM
15 years 9 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...
116
Voted
CCS
2004
ACM
15 years 9 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...
133
Voted
LICS
1999
IEEE
15 years 8 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...