𝔖 Bobbio Scriptorium

✦ LIBER ✦

Bisimulation equivalence and regularity for real-time one-counter automata

✍ Scribed by Böhm, Stanislav; Göller, Stefan; Jančar, Petr

Book ID: 121782716
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 611 KB
Volume: 80
Category: Article
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2013.11.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

DP lower bounds for equivalence-checking

DP lower bounds for equivalence-checking and model-checking of one-counter automata

✍ Petr Jančar; Antonı́n Kučera; Faron Moller; Zdeněk Sawa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 304 KB

On the Existence of Minimum Asynchronous

On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages

✍ D. Bruschi; G. Pighizzini; N. Sabadini 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 868 KB

[IEEE 13th Annual Symposium on Switching

[IEEE 13th Annual Symposium on Switching and Automata Theory (swat 1972) - USA (1972.10.25-1972.10.27)] 13th Annual Symposium on Switching and Automata Theory (swat 1972) - The equivalence problem for regular expressions with squaring requires exponential space

✍ Meyer, A. R.; Stockmeyer, L. J. 📂 Article 📅 1972 🏛 IEEE ⚖ 604 KB

[IEEE Comput. Soc 4th IEEE International

[IEEE Comput. Soc 4th IEEE International Workshop on System-on-Chip for Real-Time Applications - Banff, Alta., Canada (19-21 July 2004)] 4th IEEE International Workshop on System-on-Chip for Real-Time Applications - A digital CMOS imager with pixel level analog-to-digital converter and reconfigurable SRAM/counter

✍ Yat-Fong Yung, ; Bermak, A. 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 439 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems

✍ Jia, Yangli; Li, Zhoujun; Zhang, Zhenling 📂 Article 📅 2008 🏛 IEEE ⚖ 283 KB

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Timed Automata Model for Component-Based Real-Time Systems

✍ Macariu, Georgiana; Cretu, Vladimir 📂 Article 📅 2010 🏛 IEEE ⚖ 356 KB