Relative liveness and behavior abstraction

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1997, Pages 45-52

  Nitsche, Ulrich ^a   Wolper, Pierre ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; FORMAL LOGIC;

BEHAVIOR ABSTRACTION; RELATIVE LIVENESS PROPERTIES; SIMPLE HOMOMORPHISMS; VERIFICATION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (28)