196
click to vote
CONCUR
16 years 9 days 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...
192
click to vote
CONCUR
16 years 9 days 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 ...
192
click to vote
CONCUR
16 years 9 days 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...
189
click to vote
CONCUR
16 years 9 days 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 ...
188
click to vote
CONCUR
15 years 10 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