Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.

Published in: WADT (2004)

Keyphrases

complex systems
specification language
expert systems
management system
intelligent systems
model theoretic
logical properties
databases
information systems
computer systems
finite state machines
asynchronous circuits
logical rules
automated verification