Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
What is the coalgebraic analogue of Birkhoff's variety theorem?
Theoretical Computer Science
A coalgebraic equational approach to specifying observational structures
Theoretical Computer Science
On institutions for modular coalgebraic specifications
Theoretical Computer Science
Coalgebra morphisms subsume open maps
Theoretical Computer Science
Coalgebras and monads in the semantics of java
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Semantic Constructions for Hidden Algebra
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Coinductive Interpreters for Process Calculi
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Inheritance in Higher Order Logic: Modeling and Reasoning
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Logics Admitting Final Semantics
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Towards a Colimit-Based Semantics for Visual Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
The temporal logic of coalgebras via Galois algebras
Mathematical Structures in Computer Science
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
ACM SIGACT News
A modal proof theory for final polynomial coalgebras
Theoretical Computer Science
Coalgebraic description of generalised binary methods
Mathematical Structures in Computer Science
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
A Single Complete Relational Rule for Coalgebraic Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coalgebraic Semantic Framework for Component-based Development in UML
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic Description of Generalized Binary Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Vistas: towards behavioural cloud control
Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Covarieties of coalgebras: comonads and coequations
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Object-oriented operations have two parts
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |