Half-order modal logic. How to prove real-time properties

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1990, Pages 281-296

  Heinzinger, Thomas A ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--THEOREM PROVING; COMPUTER METATHEORY--FORMAL LOGIC;

MODAL LOGIC; TEMPORAL LOGIC;

COMPUTER SYSTEMS, DIGITAL;

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

References (9)