Handbook of Finite State Based Models and Applications

Finite Automata, Rana Barua and Kishan Chand Gupta

Large-Scale Regular Expression Matching on FPGA, Yi-Hua E. Yang and Viktor K. Prasanna

Finite State Transducers, Javier Baliosian and Dina Wonsever

Tree Automata, Olivier Gauwin

Timed Automata, Jun Sun, Yang Liu, and Jin Song Dong

Quantum Finite Automata, Daowen Qiu, Lvzhou Li, Paulo Mateus, and Jozef Gruska

Finite Automata Minimization, Marco Almeida, Nelma Moreira, and Rogério Reis

Incremental Construction of Finite-State Automata, Jan Daciuk

Esterel and the Semantics of Causality, Mohammad Reza Mousavi

Regular Path Queries on Graph-Structured Data, Alex Thomo and S. Venkatesh

Applying Timed Automata to Model Checking of Security Protocols, Mirosław Kurkowski and Wojciech Penczek

Optimal Adaptive Pattern-Matching Using Finite State Automata, Nadia Nedjah and Luiza de Macedo Mourelle

Finite State Automata in Compilers, Yang Zhao

Finite State Models for XML Processing, Murali Mani

Petri Nets, Jiacun Wang

Statecharts, Hanlin Lu and Sheng Yu

Model Checking, Zhenhua Duan and Cong Tian

System Modeling with UML State Machines, Omar El Ariss and Dianxiang Xu

Index