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

ISBN (Print): 9780821816639

ISBN (Electronic): 9781470423735

Publication date (Print): 1972

DOI: 10.1090/cbms/013

SO-VID: db58676b-3e38-4a1e-9020-9b21c6ba68bb

History

Data availability:

Comments

Comment on this book

Cited by 30

Distributed Controller Synthesis for Local Specifications
Authors: P. Madhusudan, P.S. Thiagarajan
The anchored version of the temporal framework
Authors: Zohar Manna, Amir Pnueli
Synthesis from Component Libraries
Authors: Yoad Lustig, Moshe Vardi

See all cited by

Automata on Infinite Objects and Church’s Problem

Read this book at