TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION (Q4693280)
From MaRDI portal
scientific article; zbMATH DE number 205227
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION |
scientific article; zbMATH DE number 205227 |
Statements
TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION (English)
0 references
31 October 1994
0 references
timed input/output automata
0 references
Müller automata
0 references
Girard's linear logic
0 references
real-time temporal logic
0 references
cybernetic explanation
0 references
