Abstract. The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on an infinite computation. In this work, we develop the theory and associated algorithms for predicate detection in infinite runs. In prac-tice, an infinite run can be determined in finite time if it consists of a recurrent behavior with some finite prefix. Therefore, our study is restricted to such runs. We introduce the concept of d-diagram, which is a finite representation of infinite directed graphs. Given a d-diagram that represents an infinite distributed compu-tation, we solve the problem of determining if a global predicate ever became true in the co...
There has been very little research in distributed predicate detection for faulty, asynchronous envi...
The aim of this paper to demonstrate rigorous reasoning in the context of concurrency. We present a ...
We present a distributed on-line algorithm for detecting conjunctive stable predicates in dynamic sy...
Earlier work on predicate detection has assumed that the given computation is finite. Detecting viol...
We consider the problem of detecting sequences of predicates defined over global states of distribut...
Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of pr...
In this thesis, we address part of the predicate detection problem on distributed computations. We i...
. We show that the problem of predicate detection in distributed systems is NP-complete. We introduc...
Detecting global predicates of a distributed computation is a key problem in testing and debugging d...
In this paper, we present a concurrency measure that is especially adapted to distributed programs t...
This paper deals with a class of unstable non-monotonic global predicates, called herein atomic sequ...
This paper presents a general framework for specification and detection of properties in distributed...
. This paper proposes a framework for predicate detection in systems of processes with approximately...
This paper discusses detection of global predicates in a distributed program. A run of a distributed...
textDetecting the existence of a consistent global state that satisfies a predicate in a distribute...
There has been very little research in distributed predicate detection for faulty, asynchronous envi...
The aim of this paper to demonstrate rigorous reasoning in the context of concurrency. We present a ...
We present a distributed on-line algorithm for detecting conjunctive stable predicates in dynamic sy...
Earlier work on predicate detection has assumed that the given computation is finite. Detecting viol...
We consider the problem of detecting sequences of predicates defined over global states of distribut...
Predicate detection is a powerful technique to verify parallel programs. Verifying correctness of pr...
In this thesis, we address part of the predicate detection problem on distributed computations. We i...
. We show that the problem of predicate detection in distributed systems is NP-complete. We introduc...
Detecting global predicates of a distributed computation is a key problem in testing and debugging d...
In this paper, we present a concurrency measure that is especially adapted to distributed programs t...
This paper deals with a class of unstable non-monotonic global predicates, called herein atomic sequ...
This paper presents a general framework for specification and detection of properties in distributed...
. This paper proposes a framework for predicate detection in systems of processes with approximately...
This paper discusses detection of global predicates in a distributed program. A run of a distributed...
textDetecting the existence of a consistent global state that satisfies a predicate in a distribute...
There has been very little research in distributed predicate detection for faulty, asynchronous envi...
The aim of this paper to demonstrate rigorous reasoning in the context of concurrency. We present a ...
We present a distributed on-line algorithm for detecting conjunctive stable predicates in dynamic sy...