30 search results - page 2 / 6 » concur 2004 |
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
CONCUR
2004
Springer
13 years 9 months ago
2004
Springer
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
CONCUR
2004
Springer
13 years 9 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...