Automata representations for Concurrent METATEM

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1997, Pages 12-19

  Kellett, Adam ^a   Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FINITE AUTOMATA; FORMAL LOGIC; MATHEMATICAL MODELS;

AUTOMATA BASED REPRESENTATIONS; CONCURRENT METATEM PROGRAMMING LANGUAGE; EXECUTABLE TEMPORAL LOGICS; PROPOSITIONAL TEMPORAL LOGIC (PTL);

FORMAL LANGUAGES;

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

References (19)