On institutions for modular coalgebraic specifications
Theoretical Computer Science
Semantic Constructions for Hidden Algebra
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Generic Facilities in Object-Oriented ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Exercises in coalgebraic specification
Algebraic and coalgebraic methods in the mathematics of program construction
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Hi-index | 0.00 |