Specification of abstract dynamic-data types: A temporal logic approach
- 28 February 1997
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 173 (2) , 513-554
- https://doi.org/10.1016/s0304-3975(96)00165-x
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Object Specification LogicJournal of Logic and Computation, 1995
- D-oids: a model for dynamic data-typesMathematical Structures in Computer Science, 1995
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Petri nets and algebraic specificationsTheoretical Computer Science, 1991
- On the interpretability of arithmetic in temporal logicTheoretical Computer Science, 1990
- Module algebraJournal of the ACM, 1990
- The power of temporal proofsTheoretical Computer Science, 1989
- Quantification in Modal LogicPublished by Springer Nature ,1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983