169
click to vote
CONCUR
2004
Springer
16 years 9 hour 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...