Joachim Parrow, Peter Sjödin  Home/Search
Context Related
| sics.se/~peter/papers/csmway.ps para.inria.fr/~lefes...00054PS92.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sics.se/cna/pubs_old (more) From: para.inria.fr/~lefessan/b...publi (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We consider the problem of implementing multiway synchronization in a distributed environment providing only binary asynchronous communication. Our implementation strategy is formulated as a transformation on 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 observation equivalence and stronger than testing equivalence and... (Update)
Cited by: More
Linear Forwarders - Gardner, Laneve, Wischik (2003) (Correct)
A Randomized Distributed Encoding of the π-Calculus.. - Palamidessi, Herescu (2002) (Correct)
A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (Correct)
Active bibliography (related documents): More All
0.4: A Comprehensive Study of the Complexity of Multiparty Interaction - Joung, Smolka (1996) (Correct)
0.4: Communicators: Object-Based Multiparty Interactions for Parallel .. - Feitelson (1991) (Correct)
0.4: Efficient Implementation of Synchronous Communication Over.. - Choy, Singh (1995) (Correct)
Similar documents based on text: More All
0.3: Designing a Multiway Synchronisation Protocol - Parrow, Sjödin (1996) (Correct)
0.2: Action Contraction Using Coupled Simulation - Rensink (2000) (Correct)
0.2: Multiway Cuts in Directed and Node Weighted Graphs - Garg, Vazirani, Yannakakais (1994) (Correct)
Related documents from co-citation: More All
14: Information and Computation (context) - Milner, Parrow et al. - 1992
13: Communication and Concurrency (context) - Milner - 1989
12: Comparing the expressive power of the Synchronous and the Asynchronous pi-calcul.. - Palamidessi - 1997
BibTeX entry: (Update)
J. Parrow & P. Sj odin (1992): Multiway synchronization verified with coupled simulation. In W.R. Cleaveland, editor: Proceedings CONCUR 92, Stony Brook, NY, USA, Lecture Notes in Computer Science 630, Springer-Verlag, pp. 518--533. http://citeseer.ist.psu.edu/parrow92multiway.html More
@inproceedings{ parrow92multiway,
author = "Parrow and Sjodin",
title = "Multiway Synchronization Verified with Coupled Simulation",
booktitle = "{CONCUR}: 3rd International Conference on Concurrency Theory",
publisher = "LNCS, Springer-Verlag",
year = "1992",
url = "citeseer.ist.psu.edu/parrow92multiway.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinksma - 1989
195 ACM Transactions on Programming Languages and Systems (context) - Charlesworth, rendezvous - 1987
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
77 Distributed cooperation with action systems (context) - Back, Kurki-Suonio - 1988
23 Process synchronization: Design and performance evaluation o.. (context) - Bagrodia - 1989
22 Superimposition for interacting processes (context) - Francez, Forman - 1990
18 Script: A communication abstraction mechanism (context) - Francez, Hailpern et al. - 1986
18 A new and efficient implementation of multiprocess synchroni.. (context) - Ramesh - 1987
15 party synchronization using tokens (context) - Kumar, of - 1990
15 Coordinating first-order multiparty interactions - Joung, Smolka - 1991
14 A distributed synchronization scheme for fair multi-process .. (context) - Park, Kim - 1990
10 A methodology for developing distributed programs (context) - Ramesh, Mehndiratta - 1987
9 Multiparty interactions for interprocess communication and s.. (context) - Evangelist, Francez et al. - 1989
1 Synchronizing multiple processes in common handshakes (context) - Eklund - 1984
1 Implementations of Process Synchronization and their Analysi.. (context) - Mitchell - 1986
1 From LOTOS Specifications to Distributed Implementations (context) - Sjodin - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/cna/pubs_old.html): More
Race-free Interconnection Networks and Multiprocessor Consistency - Landin (1991) (Correct)
The DTM Gigabit Network - Bohm, Lindgren, Ramfelt, Sjödin (1994) (Correct)
Workstation Support for Real-time Multimedia Communication - Hagsand (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC