Abstract | ||
---|---|---|
. We consider the problem of implementing multiway synchronizationin a distributed environment providing only binary asynchronous communication.Our implementation strategy is formulated as a transformationon transition systems and we give a distributed algorithm for multiway synchronization.Correctness assertions and proofs are based on a new method:coupled simulations. The coupled simulation equivalence is weaker than observationequivalence and stronger than testing equivalence and... |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/BFb0084813 | CONCUR |
Keywords | Field | DocType |
multiway synchrinizaton,asynchronous communication,computer science,distributed environment,distributed algorithm | Transition system,Asynchronous communication,Synchronization,Distributed Computing Environment,Computer science,Correctness,Theoretical computer science,Equivalence (measure theory),Distributed algorithm,Binary number | Conference |
Volume | ISSN | ISBN |
630 | 0302-9743 | 3-540-55822-5 |
Citations | PageRank | References |
38 | 3.28 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joachim Parrow | 1 | 3213 | 368.44 |
Peter Sjödin | 2 | 127 | 14.87 |