Presentations for Abstract Context Institutions
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Weak Bisimilarity and Open Maps
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Behavioural constructor implementation for regular algebras
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Behavioural semantics of algebraic specifications in arbitrary logical systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.00 |