Summary: Synthesis of Fault­Tolerant Concurrent Programs
(Extended Abstract)
Anish ARORA 1
Department of Computer Science
The Ohio State University
anish@cis.ohio­state.edu
Paul C. ATTIE 2
School of Computer Science
Florida International University
attie@fiu.edu
E. Allen EMERSON 3
Department of Computer Sciences
The University of Texas at Austin
emerson@cs.utexas.edu
Abstract
Methods for mechanically synthesizing concurrent programs
from temporal logic specifications obviate the need to manu­
ally construct a program and compose a proof of its correct­
ness [EC82, MW84, PR89, PR89b, AM94]. A serious draw­
back of extant synthesis methods, however, is that they pro­

Source: Attie, Paul - Department of Computer Science, American University of Beirut
Emerson, E. Allen - Department of Computer Sciences, University of Texas at Austin

Collections: Computer Technologies and Information Sciences