30 search results - page 4 / 6 » concur 2004 |
CONCUR
2004
Springer
15 years 3 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...
CONCUR
2004
Springer
15 years 3 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...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
TAMODIA
2004
14 years 11 months ago
2004
This paper shows how information visualization techniques can be used to improve the effectiveness of task model representations. In particular, we discuss how fisheye and semanti...
113
click to vote
CONCUR
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...