On institutions for modular coalgebraic specifications
Theoretical Computer Science
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Closure properties for the class of behavioral models
Theoretical Computer Science
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Hi-index | 0.00 |