114
click to vote
CONCUR
15 years 5 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...
110
click to vote
CONCUR
15 years 5 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.
109
click to vote
CONCUR
15 years 5 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 ...
106
Voted
CONCUR
15 years 5 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...
104
click to vote
CONCUR
15 years 5 months ago
2004 Springer 
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
|
Distributed And Parallel Computing