Synthesis of concurrent systems for an atomic read/atomic write model of computation

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1996, Pages 111-120

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

^a FLORIDA INTERNATIONAL UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; FORMAL LOGIC; NETWORK PROTOCOLS; SPECIFICATIONS; SYNCHRONIZATION;

ATOMIC READ; ATOMIC WRITE; CONCURRENT PROGRAMS; PETERSON SOLUTION; SYNCHRONIZATION PROTOCOLS; TEMPORAL LOGIC SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 0029707467     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/248052.248070     Document Type: Conference Paper

References (9)