Logics for Specifying Concurrent Information Systems
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 52 references indexed in Scilit:
- Information systems modelling with troll formal methods at workInformation Systems, 1997
- A temporal logic approach to object certificationData & Knowledge Engineering, 1996
- TROLLACM Transactions on Information Systems, 1996
- Object Specification LogicJournal of Logic and Computation, 1995
- A little knowledge goes a long wayJournal of the ACM, 1992
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Concurrent dynamic logicJournal of the ACM, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- The temporal logic of branching timeActa Informatica, 1983
- Temporal aspects of logical procedure definitionInformation Systems, 1980