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

• Authors:

• C. Mohan

• Affiliations:

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

• Venue:
• ACM Transactions on Programming Languages and Systems (TOPLAS)
• Year:
• 1981