Synthesis of fault-tolerant concurrent programs

Full Text:

Pdf

Buy this Article

Authors:	Paul C. Attie	Northeastern University and MIT Computer Science and Artificial Intelligence Laboratory, Boston, MA
	Anish Arora	The Ohio State University, Columbus, OH
	E. Allen Emerson	The University of Texas at Austin, Austin, TX

Published in:

· Journal

ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive

Volume 26 Issue 1, January 2004
Pages 125 - 185
ACM New York, NY, USA
table of contents doi>10.1145/963778.963782

	2004 Article
Bibliometrics
· Downloads (6 Weeks): 7 · Downloads (12 Months): 32 · Downloads (cumulative): 1,208 · Citation Count: 17

Tools and Resources