Observational proofs by rewriting
Theoretical Computer Science
Total-Correctness Refinement for Sequential Reactive Systems
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
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
Coalgebraic description of generalised binary methods
Mathematical Structures in Computer Science
A Single Complete Relational Rule for Coalgebraic Refinement
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)
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Hi-index | 0.00 |