✦ LIBER ✦

On real-time cellular automata and trellis automata

✍ Scribed by C. Choffrut; K. Culik

Publisher: Springer-Verlag
Year: 1984
Tongue: English
Weight: 603 KB
Volume: 21
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00264617

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A property of real-time trellis automata

✍ Sheng Yu 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 110 KB

“Real-time” equivalence of cellular auto

“Real-time” equivalence of cellular automata and linear-bounded automata

✍ David L. Milgram 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 285 KB

Language not recognizable in real time b

Language not recognizable in real time by one-way cellular automata

✍ Véronique Terrier 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 454 KB

Alternation on cellular automata

✍ Martín Matamala 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 819 KB

Cellular automata and multifractals: Dim

Cellular automata and multifractals: Dimension spectra of linear cellular automata

✍ Satoshi Takahashi 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 725 KB

Real-Time Systems || Verification Using

Real-Time Systems || Verification Using Timed Automata

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 192 KB 👁 2 views

Finite automata and temporal logics have been used extensively to formally verify qualitative properties of concurrent systems. The properties include deadlock-or livelock-freedom, the eventual occurrence of an event, and the satisfaction of a predicate. The need to reason with absolute time is unne