A temporal logic approach to object certification

This publication has 10 references indexed in Scilit:

• Temporal theories as modularisation units for concurrent system specification
  Formal Aspects of Computing, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• The Reification Dimension in Object-oriented Data Base Design
  Published by Springer Nature ,1992
• Formal techniques for systems specification and verification
  Information Systems, 1991
• Completing the temporal picture
  Theoretical Computer Science, 1991
• Specification and verification of database dynamics
  Acta Informatica, 1988
• A model and temporal proof system for networks of processes
  Distributed Computing, 1986
• Modular Verification of Computer Communication Protocols
  IEEE Transactions on Communications, 1983
• Temporal aspects of logical procedure definition
  Information Systems, 1980
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979