159
Voted
CONCUR
15 years 11 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...
159
click to vote
CONCUR
15 years 11 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.
158
Voted
CONCUR
15 years 11 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...
158
click to vote
CONCUR
15 years 11 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...
156
click to vote
CONCUR
15 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...
|
Distributed And Parallel Computing