1983 Invited address solved problems, unsolved problems and non-problems in concurrency

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

1983 Invited address solved problems, unsolved problems and non-problems in concurrency

Full text

Pdf (1.09 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the third annual ACM symposium on Principles of distributed computing table of contents

Vancouver, British Columbia, Canada

Pages: 1 - 11

Year of Publication: 1984

ISBN:0-89791-143-1

Author

Leslie Lamport

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 14, Citation Count: 24

Additional Information:

abstract cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800222.806731 What is a DOI?

ABSTRACT

This is an edited transcript of a talk given at last year's conference. To preserve the flavor of the talk and the questions, I have done very little editing—mostly eliminating superfluous words and phrases, correcting especially atrocious grammar, and making the obvious changes needed when replacing slides by figures. The tape recorder was not functioning for the first few minutes, so I had to recreate the beginning of the talk.

CITED BY 24

	M. G. Staskauskas, An experience in the formal verification of industrial software, Communications of the ACM, v.39 n.12es, Dec. 1996
	Martín Abadi , Leslie Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.73-132, Jan. 1993
	Shmuel Katz, A superimposition control construct for distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.337-356, April 1993
	Marco Schneider, Self-stabilization, ACM Computing Surveys (CSUR), v.25 n.1, p.45-67, March 1993
	Boris Koldehofe , Philippas Tsigas, Using actors in an interactive animation in a graduate course on distributed system, ACM SIGCSE Bulletin, v.33 n.3, p.149-152, Sept. 2001
	Shing-Tsaan Huang, Leader election in uniform rings, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.3, p.563-573, July 1993
	Shlomi Dolev , Amos Israeli , Shlomo Moran, Resource bounds for self stabilizing message driven protocols, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.281-293, August 19-21, 1991, Montreal, Quebec, Canada
	B. Bhargava , T. Mueller , J. Riedl, Experimental analysis of layered Ethernet software, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, p.559-568, December 1987, Dallas, Texas, United States
	J. E. Burns , Jan K. Pachl, Uniform self-stabilizing rings, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.2, p.330-344, April 1989
	Mohamed G. Gouda , Nicholas J. Multari, Stabilizing Communication Protocols, IEEE Transactions on Computers, v.40 n.4, p.448-458, April 1991
	H.-M. Järvinen , R. Kurki-Suonio , M. Sakkinen , K. Systä, Object-oriented specification of reactive systems, Proceedings of the 12th international conference on Software engineering, p.63-71, March 26-30, 1990, Nice, France
	M. G. Staskauskas, The Formal Specification and Design of a Distributed Electronic Funds-Transfer System, IEEE Transactions on Computers, v.37 n.12, p.1515-1528, December 1988
	Anish Arora , Mohamed Gouda, Closure and Convergence: A Foundation of Fault-Tolerant Computing, IEEE Transactions on Software Engineering, v.19 n.11, p.1015-1027, November 1993
	Reino Kurki-Suonio, Operational specification with joint actions: serializable databases, Distributed Computing, v.6 n.1, p.19-37, July 1992
	Michael Merritt, Introduction, Distributed Computing, v.7 n.1, p.1-1, November 1993
	Shing-Tsaan Huang , Nian-Shing Chen, Self-stabilizing depth-first token circulation on networks, Distributed Computing, v.7 n.1, p.61-66, November 1993
	Geoffrey M. Brown , Mohamed G. Gouda , Chuan-Lin Wu, Token Systems That Self-Stabilize, IEEE Transactions on Computers, v.38 n.6, p.845-852, June 1989
	Tzong-Jye Liu , Shing-Tsaan Huang, Phase Synchronization on Asynchronous Uniform Rings with Odd Size, IEEE Transactions on Parallel and Distributed Systems, v.12 n.6, p.638-652, June 2001
	Laurent Fribourg , Stéphane Messika , Claudine Picaronny, Coupling and self-stabilization, Distributed Computing, v.18 n.3, p.221-232, February 2006
	Ifen Yang , William Moloney, Concurrent reading and writing with replicated data objects, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.414-417, February 1988, Atlanta, Georgia, United States
	Toshio Nakata, On the expected time for Herman's probabilistic self-stabilizing algorithm, Theoretical Computer Science, v.349 n.3, p.475-483, 16 December 2005
	Tetz C. Huang , Ji-Cherng Lin , Chih-Yuan Chen , Cheng-Pin Wang, A self-stabilizing algorithm for finding a minimal 2-dominating set assuming the distributed demon model, Computers & Mathematics with Applications, v.54 n.3, p.350-356, August, 2007
	Robert Schaefer, Debugging debugged, a metaphysical manifesto of systems integration, ACM SIGSOFT Software Engineering Notes, v.33 n.3, May 2008
	Ji-Cherng Lin , Tetz C. Huang , Cheng-Zen Yang , Nathan Mou, Quasi-self-stabilization of a distributed system assuming read/write atomicity, Computers & Mathematics with Applications, v.57 n.2, p.184-194, January, 2009