Martin Berger, Kohei Honda  Home/Search
Context Related
| dcs.qmw.ac.uk/lfp/koh...express00.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 Problem Downloading? From: dcs.qmw.ac.uk/~kohei/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We examine extensions to the -calculus for representing basic elements of distributed systems. In spite of its expressiveness for encoding various programming constructs, some of the phenomena inherent in distributed systems are hard to model in the -calculus. We consider message loss, sites, timers, site failure and persistence as extensions to the calculus and examine their descriptive power, taking the Two Phase Commit Protocol (2PCP), a basic instance of an atomic commitment protocol, as... (Update)
Cited by: More
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
Transactors: A Programming Model for Maintaining Globally.. - Field, Varela (2005) (Correct)
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (Correct)
Similar documents (at the sentence level):
63.2%: Electronic Notes in Theoretical Computer Science 39 No. 1 (2000) - Url Http Www (Correct)
Active bibliography (related documents): More All
0.4: Towards Abstractions for Distributed Systems - Berger (2000) (Correct)
0.3: Assertional and Behavioural Refinement in Coalgebraic.. - Jacobs, Tews (2001) (Correct)
0.2: Basic Theory of Reduction Congruence for Two Timed Asynchronous.. - Berger (2004) (Correct)
Similar documents based on text: More All
0.4: Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
0.3: From Process Logic to Program Logic - Honda (2004) (Correct)
0.2: Genericity and the pi-Calculus - Berger, Honda, Yoshida (Correct)
Related documents from co-citation: More All
5: Information and Computation (context) - Milner, Parrow et al. - 1992
5: Nested Transactions: An Approach to Reliable Distributed Computing - Moss - 1981
4: Mobile ambients - Cardelli, Gordon - 1998
BibTeX entry: (Update)
Berger, M. and K. Honda, The two-phase commitment protocol in an extended pi-calculus, in: Preliminary Proceedings of EXPRESS '00, BRICS Notes Series NS-00-2, 2000, pp. 105--130. http://citeseer.ist.psu.edu/berger00twophase.html More
@misc{ berger00twophase,
author = "M. Berger and K. Honda",
title = "The two-phase commitment protocol in an extended pi-calculus",
text = "Berger, M. and K. Honda, The two-phase commitment protocol in an extended
pi-calculus, in: Preliminary Proceedings of EXPRESS '00, BRICS Notes Series
NS-00-2, 2000, pp. 105--130.",
year = "2000",
url = "citeseer.ist.psu.edu/berger00twophase.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
901 Transaction processing: concepts and techniques (context) - Gray, Reuter - 1993 DBLP
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
625 ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostak et al. - 1982
345 Notes on data base operating systems (context) - Gray - 1979
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991 ACM DBLP
291 A calculus of mobile agents - edric, Georges et al. - 1996 ACM DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
140 On reduction-based process semantics - Honda, Yoshida - 1995 ACM DBLP
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
121 Non-blocking commit protocols (context) - Skeen - 1981
115 An asynchronous model of locality (context) - Amadio - 1997
99 Typed concurrent objects - Vasconcelos - 1994 ACM DBLP
75 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987 ACM DBLP
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Parrow, orn - 1998 DBLP
42 Distributed processes and location failures - Riely, Hennessy - 1997 ACM DBLP
36 Verifying programs with unreliable channels - Abdulla, Jonsson - 1996 DBLP
29 Algebra of communicating processes (context) - Bergstra, Klop - 1985 ACM
24 Communicating Sequential Processes (context) - Richard - 1985 ACM DBLP
22 A small calculus for concurrent objects (context) - Honda, Tokoro - 1991 ACM DBLP
20 A hierarchy of equivalences for asynchronous calculi - edric, Georges - 1998 ACM DBLP
20 Designing an optimized transaction commit protocol (context) - Spiro, Joshi et al. - 1991
17 Timed process algebras: a tutorial (context) - Hennessy - 1992
11 Fail-stop processors: An approach to designing faulttolerant.. (context) - Schneider - 1983
11 Towards Abstractions for Distributed Systems - Berger - 2000
5 A survey of rollback-recovery protocols in message-passing s.. - Elnozahy, Johnson et al. - 1996 ACM DBLP
3 Re ections on an operating system design (context) - Lampson, Sturgis - 1975
2 To appear in Theoretical Computer Science (context) - Fournet, Laneve et al.
1 Atomic commitment protocols in extended -calculi (context) - Berger, Honda - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/~kohei/): More
An Interaction-based Language and its Typing System - Takeuchi (1994) (Correct)
A Theory of Types for π-Calculus - Honda (1998) (Correct)
Composing Processes - Honda (1996) (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