Process semantics of temporal logic specification
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 236-253
- https://doi.org/10.1007/3-540-56379-2_43
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Nets, Terms and FormulasPublished by Cambridge University Press (CUP) ,1991
- Describing, structuring and implementing objectsPublished by Springer Nature ,1991
- A categorial theory of objects as observed processesPublished by Springer Nature ,1991
- General LogicsPublished by Elsevier ,1989
- Specifications in an arbitrary institutionInformation and Computation, 1988
- Introducing institutionsPublished by Springer Nature ,1984
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Verification of Concurrent Programs. Part I. The Temporal Framework,Published by Defense Technical Information Center (DTIC) ,1981
- A Categorical Approach to General SystemsPublished by Springer Nature ,1978
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977