High Level System Design and Analysis Using Abstract State Machines

This publication has 53 references indexed in Scilit:

• The theoretical foundations of LPTP (a logic program theorem prover)
  The Journal of Logic Programming, 1998
• “Formal methods” technology transfer will fail
  Journal of Systems and Software, 1998
• Refinement of a typed WAM extension by polymorphic order-sorted types
  Formal Aspects of Computing, 1996
• Specification and correctness proof of a WAM extension with abstract type constraints
  Formal Aspects of Computing, 1996
• Correctness of compiling Occam to transputer code
  The Computer Journal, 1996
• Functional documents for computer systems
  Science of Computer Programming, 1995
• A mathematical definition of full Prolog
  Science of Computer Programming, 1995
• Specifications are (preferably) executable
  Software Engineering Journal, 1992
• The structure of the “THE”-multiprogramming system
  Communications of the ACM, 1968
• Some definitional suggestions for automata theory
  Journal of Computer and System Sciences, 1967