Decidability of distributed decision tasks

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1997, Pages 589-598

  Herlihy, Maurice ^a   Rajsbaum, Sergio ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTABILITY AND DECIDABILITY; COMPUTATION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SET THEORY;

DECISION TASKS; DISTRIBUTED PROGRAMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0030713848     PISSN: 07349025     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (41)