MetateM: A framework for programming in temporal logic
Authors:
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 94-129
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- On the synthesis of a reactive module1989
- Temporal logic programming is complete and expressive1989
- The declarative past and imperative future1989
- On the synthesis of an asynchronous reactive module1989
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Checking that finite state concurrent programs satisfy their linear specification1985
- Nonclausal temporal deduction1985
- Reasoning in interval temporal logicLecture Notes in Computer Science, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- A Useful Four-Valued Logic1977