224
Voted
CONCUR
16 years 1 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...
215
click to vote
CONCUR
16 years 1 months ago
2004 Springer 
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
213
click to vote
CONCUR
16 years 1 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...
212
click to vote
CONCUR
16 years 1 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.
211
click to vote
CONCUR
16 years 1 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...
|
Distributed And Parallel Computing