740 search results - page 1 / 148 » A Spatial Logic for Concurrency |
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
TACS
2001
Springer
13 years 9 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
ENTCS
2006
13 years 4 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
CONCUR
2004
Springer
13 years 8 months ago
2004
Springer
CALCO
2007
Springer
13 years 10 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...