Technical Correspondence: On Francez's ``Distributed Termination''

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Technical Correspondence: On Francez's ``Distributed Termination''

Full text

Pdf (78 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 3 , Issue 1 (January 1981) table of contents

Page: 112

Year of Publication: 1981

ISSN:0164-0925

Author

C. Mohan

Department of Computer Scince, University of Texas at Austin, Austin, TX

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 22, Citation Count: 2

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/357121.357131 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.

Nissim Francez, Distributed Termination, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.42-55, Jan. 1980 [doi>10.1145/357084.357087]

CITED BY 2

	Laurent Pautet , Samuel Tardieu, What future for the distributed systems annex?, ACM SIGAda Ada Letters, v.XIX n.3, p.77-82, Sept. 1999
	Laurent Pautet , Samuel Tardieu, What future for the distributed systems annex?, ACM SIGAda Ada Letters, v.XIX n.3, p.77-82, Sept. 1999