CONCUR
13 years 10 months ago
2004 Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
CONCUR
13 years 10 months ago
2004 Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
CONCUR
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
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
13 years 9 months ago
2004 Springer |