Open systems in TLA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Open systems in TLA

Full text

Pdf (925 KB)

Source

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

Los Angeles, California, United States

Pages: 81 - 90

Year of Publication: 1994

ISBN:0-89791-654-9

Authors

Martín Abadi	Digital Equipment Corporation, Systems Research Center
Leslie Lamport	Digital Equipment Corporation, Systems Research Center

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): 2, Downloads (12 Months): 15, Citation Count: 3

Additional Information:

references 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/197917.197960 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martín Abadi , Leslie Lamport, Decomposing Specifications of Concurrent Systems, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi, p.327-340, June 06-10, 1994
	2	Martín Abadi , Leslie Lamport, An Old-Fashioned Recipe for Real Time, Proceedings of the Real-Time: Theory in Practice, REX Workshop, p.1-27, June 03-07, 1991
	3	Martín Abadi , Leslie Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.1, p.73-132, Jan. 1993 [doi>10.1145/151646.151649]
	4	Martfn Abadi and Leslie Lamport. Conjoining specifications. Research Report 118, Digital Equipment Corporation, Systems Research Center, 1993.
	5	Martín Abadi , Gordon D. Plotkin, A logical view of composition, Theoretical Computer Science, v.114 n.1, p.3-30, June 14 1993
	6	Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21(4):181-185, October 1985.
	7	Pierre Collette, Application of the Composition Principle to Unity-like Specifications, Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development, p.230-242, April 13-17, 1993
	8	J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. Real- Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1992. Proceedings of a REX Real-Time Workshop, held in The Netherlands in June, 1991.
	9	Cliff B. Jones. Specification and design of (parallel) programs. In R. E. A. Mason, editor, Information Processing 83: Proceedings of the IFIP 9th World Congress, pages 321-332. IFIP, North-Holland, September 1983.
	10	Leslie Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.872-923, May 1994 [doi>10.1145/177492.177726]
	11	Carver Mead , Lynn Conway, Introduction to VLSI Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1979
	12	Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, SE-7(4):417-426, July 1981.
	13	Paritosh K. Pandya , Mathai Joseph, P-A logic: a compositional proof system for distributed programs, Distributed Computing, v.5 n.1, p.37-54, June 1991 [doi>10.1007/BF02311231]
	14	A. Pnueli, In transition from global to modular temporal reasoning about programs, Logics and models of concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1989
	15	Eugene W. Stark, A Proof Technique for Rely/Guarantee Properties, Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science, p.369-391, December 16-18, 1985

CITED BY 3

	Alan Fekete, Liveness conditions in model-based service specifications: a case study, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.62-71, Oct. 1995
	Øyvind Hanssen, Towards declarative characterisation and negotiation of bindings, Proceedings of the 4th workshop on Reflective and adaptive middleware systems, November 28-December 02, 2005, Grenoble, France
	Øyvind Hanssen, Towards declarative characterisation and negotiation of bindings, Proceedings of the 4th workshop on Reflective and adaptive middleware systems, November 28-December 02, 2005, Grenoble, France