Synthesis of fault-tolerant concurrent programs

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1998, Pages 173-182

  Arora, Anish ^a   Attie, Paul C ^a   Emerson, E Allen ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; DATA STRUCTURES; FORMAL LOGIC; MATHEMATICAL MODELS; MULTIPROCESSING PROGRAMS; PROBLEM SOLVING; SYNCHRONIZATION;

FAULT TOLERANT CONCURRENT PROGRAMS; MUTUAL EXCLUSIONS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0031628397     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277697.277729     Document Type: Conference Paper

References (20)