Handbook of finite state based models and applications. ([2013])

• Record Type: Book
• Further Information: Note: [edited by] Jiacun Wang.
• Other Names: Wang, Jiacun, 1963-
• Contents: 1. Finite automata / Rana Barua and Kishan Chand Gupta -- 2. Large-scale regular expression matching on FPGA / Yi-Hua E. Yang and Viktor K. Prasanna -- 3. Finite state transducers / Javier Baliosian and Dina Wonsever -- 4. Tree automata / Olivier Gauwin -- 5. Timed automata / Jun Sun, Yang Liu, and Jin Song Dong -- 6. Quantum finite automata / Daowen Qiu [and others] -- 7. Finite automata minimization / Marco Almeida, Nelma Moreira, and Rogério Reis -- 8. Incremental construction of finite-state automata / Jan Daciuk -- 9. Esterel and the semantics of causality / Mohammad Reza Mousavi -- 10. Regular path queries on graph-structured data / Alex Thomo and S. Venkatesh -- 11. Applying timed automata to model checking of security protocols / Miros?aw Kurkowski and Wojciech Penczek -- 12. Optimal adaptive pattern-matching using finite state automata / Nadia Nedjah and Luiza de Macedo Mourelle -- 13. Finite state automata in compilers / Yang Zhao -- 14. Finite state models for XML processing / Murali Mani -- 15. Petri nets / Jiacun Wang -- 16. Statecharts / Hanlin Lu and Sheng Yu -- 17. Model checking / Zhenhua Duan and Cong Tian -- 18. System modeling with UML state machines / Omar El Ariss and Dianxiang Xu.
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2013
• Extent: 1 online resource (xii, 386 pages), illustrations
• Subjects: 511.3/5; Computer algorithms; Computer programming; Sequential machine theory; Computer algorithms; Sequential machine theory; Computer algorithms; Computer programming; Sequential machine theory; Computer algorithms; Sequential machine theory; Electronic books
• Languages: English
• ISBNs: 9781439846193; 1439846197
• Related ISBNs: 9781439846186; 1439846189
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.