Realizable and unrealizable specifications of reactive systems

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 1-17
https://doi.org/10.1007/bfb0035748

Abstract

No abstract available

Keywords

This publication has 23 references indexed in Scilit:

Notes on Communicating Sequential Systems
Published by Springer Nature ,1986
Defining liveness
Information Processing Letters, 1985
On the Development of Reactive Systems
Published by Springer Nature ,1985
A Theory of Communicating Sequential Processes
Journal of the ACM, 1984
A complete inference system for a class of regular behaviours
Journal of Computer and System Sciences, 1984
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems, 1984
Using branching time temporal logic to synthesize synchronization skeletons
Science of Computer Programming, 1982
The temporal semantics of concurrent programs
Theoretical Computer Science, 1981
Borel Determinacy
Annals of Mathematics, 1975
Solving sequential conditions by finite-state strategies
Transactions of the American Mathematical Society, 1969