64
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
73
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
89
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
94
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
63
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
106
Voted
CONCUR
2004
Springer
15 years 6 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...
111
click to vote
CONCUR
2004
Springer
15 years 6 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 ...
52
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
105
click to vote
CONCUR
2004
Springer
15 years 6 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...
76
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...