Hiding and behaviour: an institutional approach

Observational Logic

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Hidden Specification of a Functional System

Computer Aided Systems Theory - EUROCAST 2001-Revised Papers

Hidden Congruent Deduction

Selected Papers from Automated Deduction in Classical and Non-Classical Logics

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Behavioral abstraction is hiding information

Theoretical Computer Science - Selected papers of CMCS'03

Behavioural specification for hierarchical object composition

Theoretical Computer Science - Formal methods for components and objects

Maude's module algebra

Science of Computer Programming

Behavioral extensions of institutions

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science