TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION

DOI10.1080/01969729308961703zbMath0798.68106OpenAlexW1989997817MaRDI QIDQ4693280

James F. Peters

Publication date: 31 October 1994

Published in: Cybernetics and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01969729308961703

zbMATH Keywords

real-time temporal logicGirard's linear logicMüller automatacybernetic explanationtimed input/output automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) General systems theory (93A99)

Cites Work

• Linear logic
• Combinatory logic. With two sections by William Craig.
• Zur Deutung der intuitionistischen Logik
• Unnamed Item
• Unnamed Item

This page was built for publication: TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION