Very Abstract Specifications: A Formalism Independent Approach.
Maura CerioliGianna ReggioPublished 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