437 search results - page 1 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
FLAIRS
2007
13 years 7 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
LICS
1995
IEEE
13 years 8 months ago
1995
IEEE
MLQ
2010
13 years 3 months ago
2010
OPODIS
2003
13 years 6 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...