Abstract | ||
---|---|---|
This paper deals with a class of unstable non-monotonic global predicates, called herein atomic sequences of predicates. Such global predicates are defined for distributed programs built with message-passing communication only (no shared memory) and they describe global properties by causal composition of local predicates augmented with atomicity constraints. These constraints specify forbidden properties, whose occurrence invalidate causal sequences. This paper defines formally these atomic sequences of predicates, proposes a distributed algorithm to detect their occurrences and gives a sketch of a proof of correctness of this algorithm. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1145/174266.174271 | PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging |
Keywords | Field | DocType |
unstable non-monotonic global predicate,occurrence invalidate causal sequence,atomic sequence,local predicate,paper deal,detecting atomic sequences,global predicate,atomicity constraint,global property,causal composition,herein atomic sequence,distributed algorithm,shared memory,distributed computing,message passing | Atomicity,Programming language,Shared memory,Computer science,Correctness,Theoretical computer science,Distributed algorithm,Predicate (grammar),Sketch,Computation | Conference |
Volume | Issue | ISSN |
28 | 12 | 0362-1340 |
ISBN | Citations | PageRank |
0-89791-633-6 | 29 | 2.50 |
References | Authors | |
12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michel Hurfin | 1 | 266 | 29.30 |
Noël Plouzeau | 2 | 456 | 41.10 |
Michel Raynal | 3 | 4078 | 349.46 |