On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability.

Corina Cîrstea

Published in: FoSSaCS (2002)

Keyphrases

expressive power
transitive closure
query language
specification language
data model
formal specification
high level
programming language
inference rules
complex structures
user defined
relational algebra
decision model
propositional calculus
algebraic expressions