There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1997

Publication date (Online): January 04 2013

Pages: 111-174

DOI: 10.1007/978-3-642-59136-5_3

SO-VID: 75e6c2fd-2637-41b0-8394-e6d7b29fc02d

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 24

Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Authors: Koushik Sen, Mahesh Viswanathan
Decision Problems for Language Equations with Boolean Operations
Authors: Alexander Okhotin
Queue Automata: Foundations and Developments
Authors: Martin Kutrib, Andreas Malcher, Matthias Wendlandt

See all cited by

Context-Free Languages and Pushdown Automata

Read this book at