@inproceedings{93c36e6496644766b9a041a1d9569c7d,
title = "Institutions for Behaviour Specification",
abstract = "Capitalising on the profusion of modal logics that have been proposed for reactive system specification since [Pnueli 77], on current work that explores categorical formalisations of models of concurrency such as [Sassone et al 93], and on our own past work relating specification logics and such process models [Fiadeiro and Costa 93, Fiadeiro et al 93, Semadas et al 94], we develop a notion of institution of behaviour in which structural properties of logics and models that are relevant for specifying system behaviour can be formalised and discussed. In this framework, we characterise and relate the existence of adjoint situations between theories and models with the existence of terminal models and the difference between underspecification and nondeterminism.",
author = "Fiadeiro, {Jos{\'e} Luiz} and Costa, {Jos{\'e} F{\'e}lix}",
year = "1995",
doi = "10.1007/BFb0014433",
language = "English",
isbn = "9783540591320",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "273--289",
editor = "E. Astesiano and G. Reggio and A. Tarlecki",
booktitle = "ADT 1994, COMPASS 1994",
address = "Germany",
note = "10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop. 1994 ; Conference date: 30-05-1994 Through 03-06-1994",
}