CONCUR
15 years 2 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
15 years 2 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
15 years 2 months ago
2004 Springer 
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
CONCUR
15 years 2 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
15 years 2 months ago
2004 Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
|
Distributed And Parallel Computing