Hiding and Behaviour: An Institutional Approach

Rod Burstall and Razvan Diaconescu

Abstract: Theories with hidden sorts provide a setting to study the idea of behaviour and behavioural equivalence of elements. But there are variants on the notion of theory: many sorted algebras, order sorted generality. We formulate the notion of behavioural equivalence in a more abstract and categorical way, and we give a general explication if ``hiding'' in an institution. We use this show that both hidden many sorted algebras and hidden order sorted algebras yield institutions.

LFCS report ECS-LFCS-92-253

Previous | Index | Next