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

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-45931-6_7 ◽

2002 ◽

pp. 82-97 ◽

Author(s):

Corina Cîrstea

Download Full-text