The prescription and description of state based systems
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 243-294
- https://doi.org/10.1007/3-540-51803-7_30
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- On the logic of omissionsSynthese, 1985
- Concurrent programming using actors: Exploiting large-scale parallelismPublished by Springer Nature ,1985
- Large database specifications from small viewsPublished by Springer Nature ,1985
- LogicPublished by Taylor & Francis ,1985
- Dialogue and process design for interactive information systems using TaxisPublished by Association for Computing Machinery (ACM) ,1982
- On the Logic of Norms and ActionsPublished by Springer Nature ,1981
- HOPEPublished by Association for Computing Machinery (ACM) ,1980
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- The design of a pascal compilerSoftware: Practice and Experience, 1971
- Temporal LogicPublished by Springer Nature ,1971