VERIFICATION OF CONCURRENT PROGRAMS: THE AUTOMATA-THEORETIC FRAMEWORK.

Volumn , Issue , 1987, Pages 167-176

  Vardi, Moshe Y ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - FINITE AUTOMATA;

INFINITE TREES; NONDETERMINISTIC PROGRAMS; PROGRAM TERMINATION; RECURSIVE TEMPORAL LOGIC; VERIFICATION OF CONCURRENT PROGRAMS;

COMPUTER SYSTEMS, DIGITAL;

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

References (43)