Hierarchy of temporal properties

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1990, Pages 377-408

  Manna, Zohar ^a   Pnueli, Amir ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--FINITE AUTOMATA; COMPUTER METATHEORY--PROGRAMMING THEORY;

REACTIVE SYSTEMS; TEMPORAL LOGIC;

COMPUTER SYSTEMS, DIGITAL;

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

References (24)