The domain of a global function is the set of all global states of an execution of a distributed program. We show how to monitor a program in order to determine if there exists a global state in which the sum x 1 +
AbstractA consistent observation of a given distributed computation is a sequence of global states t...
Large-scale dynamic systems, such as the Internet, as well as emerging peerto-peer networks and comp...
The work described in this paper belongs to the general context of distributed program debugging. Fo...
Observation of global properties of a distributed program is required in many applications such as d...
Abstract. The paper concerns designing distributed program execution control based on global applica...
This paper presents an algorithm by which a process in a distributed system determines a global stat...
This paper presents an algorithm by which a process in a distributed system determines a global stat...
When analyzing, testing or debugging a distributed program, an important question one has to answer ...
We consider distributed systems modeled as communicating finite state machines with reliable unbound...
Abstract. We consider distributed systems modeled as communicating finite state machines with reliab...
This paper discusses detection of global predicates in a distributed program. A run of a distributed...
We consider the problem of detecting sequences of predicates defined over global states of distribut...
A distributed system consists of a collection of concurrently executing processes that do not use sh...
Abstract-A global state of a distributed transaction system is con-sistent if no transactions are in...
Properties of distributed computations can be either on their global states or on their control flow...
AbstractA consistent observation of a given distributed computation is a sequence of global states t...
Large-scale dynamic systems, such as the Internet, as well as emerging peerto-peer networks and comp...
The work described in this paper belongs to the general context of distributed program debugging. Fo...
Observation of global properties of a distributed program is required in many applications such as d...
Abstract. The paper concerns designing distributed program execution control based on global applica...
This paper presents an algorithm by which a process in a distributed system determines a global stat...
This paper presents an algorithm by which a process in a distributed system determines a global stat...
When analyzing, testing or debugging a distributed program, an important question one has to answer ...
We consider distributed systems modeled as communicating finite state machines with reliable unbound...
Abstract. We consider distributed systems modeled as communicating finite state machines with reliab...
This paper discusses detection of global predicates in a distributed program. A run of a distributed...
We consider the problem of detecting sequences of predicates defined over global states of distribut...
A distributed system consists of a collection of concurrently executing processes that do not use sh...
Abstract-A global state of a distributed transaction system is con-sistent if no transactions are in...
Properties of distributed computations can be either on their global states or on their control flow...
AbstractA consistent observation of a given distributed computation is a sequence of global states t...
Large-scale dynamic systems, such as the Internet, as well as emerging peerto-peer networks and comp...
The work described in this paper belongs to the general context of distributed program debugging. Fo...
DOI
Add to ORKG