On institutions for modular coalgebraic specifications
Theoretical Computer Science
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
CIRC: a circular coinductive prover
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Hi-index | 0.00 |