A structured specification of an active database system

This publication has 8 references indexed in Scilit:

• Using ABC to prototype VDM specifications
  ACM SIGPLAN Notices, 1994
• Formal specification of a persistent object management system
  Information and Software Technology, 1993
• A denotational semantics for the Starburst production rule language
  ACM SIGMOD Record, 1992
• Behavior of database production rules
  ACM SIGMOD Record, 1992
• Automatic verification of database transaction safety
  ACM Transactions on Database Systems, 1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Interpreters from functions and grammars
  Computer Languages, 1986
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984