Algebraic specification of dynamic objects.

Alexandre V. Zamulin

Published in: LMO (1997)

Keyphrases

specification language
high level
formal specification
formal verification
information systems
three dimensional
data structure
state machine
reactive systems
algebraic structure