Realizable and unrealizable specifications of reactive systems
Authors:
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 1-17
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Notes on Communicating Sequential Systems1986
- Defining livenessInformation Processing Letters, 1985
- On the Development of Reactive Systems1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Borel DeterminacyAnnals of Mathematics, 1975
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969