Synthesis of fault-tolerant concurrent programs

Anish Arora, Paul C. Attie, E. Allen Emerson

Research output: Contribution to conferencePaperpeer-review

22 Scopus citations

Fingerprint Dive into the research topics of 'Synthesis of fault-tolerant concurrent programs'. Together they form a unique fingerprint.

Engineering & Materials Science