512 search results - page 93 / 103 » Automata as Abstractions |
122
Voted
IWSOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on ...
113
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
119
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
105
Voted
STACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We give a characterization, in terms of computational complexity, of the family Rec1 of the unary picture languages that are tiling recognizable. We introduce quasi-unary...
133
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...