Hiding and behaviour: an institutional approach (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 algebras and so on;
we would like to use the theory of institutions to develop ideas of some
generality. We formulate the notion of behavioural equivalence in a more
abstract and categorical way, and we give a general explication of "hiding"
in an institution. We use this show that both hidden many sorted algebras
and hidden order sorted algebras yield institutions.
back to Selected Publications