Handbook of finite state based models and applications. (English) Zbl 1260.68014
Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4398-4618-6/hbk; 978-1-138-19935-4/pbk; 978-1-4398-4619-3/ebook). xii, 397 p. (2013).
Show indexed articles as search result.
The articles of this volume will be announced individually.Indexed articles:
Barua, Rana; Gupta, Kishan Chand, Finite automata, 1-17 [Zbl 1290.68068]
Yang, Yi-Hua E.; Prasanna, Viktor K., Large-scale regular expression matching on FPGA, 19-43 [Zbl 1290.68083]
Baliosian, Javier; Wonsever, Dina, Finite state transducers, 45-68 [Zbl 1364.68245]
Gauwin, Olivier, Tree automata, 69-85 [Zbl 1302.68161]
Sun, Jun; Liu, Yang; Dong, Jin Song, Timed automata, 87-111 [Zbl 1304.68123]
Qiu, Daowen; Li, Lvzhou; Mateus, Paula; Gruska, Jozef, Quantum finite automata, 113-144 [Zbl 1304.68121]
Almeida, Marco; Moreira, Nelma; Reis, Rogério, Finite automata minimization, 145-169 [Zbl 1304.68090]
Daciuk, Jan, Incremental construction of finite-state automata, 171-190 [Zbl 1291.68229]
Mousavi, Mohammad Reza, Esterel and the semantics of causality, 191-206 [Zbl 1311.68040]
Thomo, Alex; Venkatesh, S., Regular path queries on graph-structured data, 207-221 [Zbl 1311.68050]
Kurkowski, Miroslaw; Penczek, Wojciech, Applying timed automata to model checking of security protocols, 223-254 [Zbl 1304.68129]
Nedjah, Nadia; de Macedo Mourelle, Luiza, Optimal adaptive pattern-matching using finite state automata, 225-266 [Zbl 1304.68115]
Zhao, Yang, Finite state automata in compilers, 267-281 [Zbl 1304.68127]
Wang, Jiacun, Petri nets, 297-316 [Zbl 1290.68098]
Lu, Hanlin; Yu, Sheng, Statecharts, 317-336 [Zbl 1311.68070]
Duan, Zhenhua; Tian, Cong, Model checking, 337-369 [Zbl 1290.68087]
MSC:
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
68-00 | General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science |
68Q45 | Formal languages and automata |
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
00B15 | Collections of articles of miscellaneous specific interest |