ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
27
views
9
references
Top references
cited by
12
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,678
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Foundations of Software Science and Computational Structures
Synthesis from Component Libraries
other
Author(s):
Yoad Lustig
,
Moshe Y. Vardi
Publication date
(Print):
2009
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
Genomic Prediction: Concepts, Benchmarks & Synthesis
Most cited references
9
Record
: found
Abstract
: not found
Conference Proceedings
: not found
On the synthesis of a reactive module
R Rosner
,
A. Pnueli
(1989)
0
comments
Cited
145
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Limits for automatic verification of finite-state concurrent systems
Dexter Kozen
,
Krzysztof R. Apt
(1986)
0
comments
Cited
60
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Automata on Infinite Objects and Church’s Problem
Michael L. Rabin
(1972)
0
comments
Cited
30
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 395-409
DOI:
10.1007/978-3-642-00596-1_28
SO-VID:
d80e9e1a-8282-49fe-8a3c-264ac839b563
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Facets of Synthesis: Revisiting Church’s Problem
pp. 48
Logics and Bisimulation Games for Concurrency, Causality and Conflict
pp. 303
Cryptographic Protocol Composition via the Authentication Tests
pp. 333
On Omega-Languages Defined by Mean-Payoff Conditions
pp. 348
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
pp. 395
Synthesis from Component Libraries
Similar content
2,678
Construction and use of a Trichinella spiralis phage display library to identify the interactions between parasite and host enterocytes.
Authors:
Kent Z Q Wang
,
H. Ren
,
Jing Cui
…
Macrophage phenotype and remodeling outcomes in response to biologic scaffolds with and without a cellular component.
Authors:
Bryan Brown
,
Jolene E Valentin
,
Ann Stewart-Akers
…
Effects and Moderators of Exercise on Sarcopenic Components in Sarcopenic Elderly: A Systematic Review and Meta-Analysis
Authors:
Yanjie Zhang
,
Liye Zou
,
Si-Tong Chen
…
See all similar
Cited by
12
Bounded synthesis
Authors:
Sven Schewe
,
Bernd Finkbeiner
Supervisory control and reactive synthesis: a comparative introduction
Authors:
Rüdiger Ehlers
,
Stéphane Lafortune
,
Stavros Tripakis
…
Recent Challenges and Ideas in Temporal Synthesis
Authors:
Orna Kupferman
See all cited by