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

Corina Crstea

Browse the full FOSSACS paper archive.