Liveness-preserving simulation relations

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1999, Pages 63-72

  Attie, Paul C ^a  

^a FLORIDA INTERNATIONAL UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; THEOREM PROVING;

LIVENESS PRESERVATION;

COMPUTATION THEORY;

EID: 0032656217     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/301308.301328     Document Type: Article

References (10)