Very Abstract Specifications: A Formalism Independent Approach.

Maura Cerioli Gianna Reggio

Published in: Math. Struct. Comput. Sci. (1998)

Keyphrases

high level
operational semantics
transition systems
formal language
low level
state machines

conceptual graphs
formal model
delay insensitive
logical framework
specification language

formal specification
databases
higher level
trade off
data structure

image sequences
formal semantics
theoretical framework
multi agent
e learning