Institutions for behaviour specification
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 273-289
- https://doi.org/10.1007/bfb0014433
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- An institution of object behaviourPublished by Springer Nature ,1994
- Process semantics of temporal logic specificationPublished by Springer Nature ,1993
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Object interactionPublished by Springer Nature ,1992
- 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
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977