Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander Observational logic, constructor-based logic, and their duality. (English) Zbl 1038.68079 Theor. Comput. Sci. 298, No. 3, 471-510 (2003). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Kurz, Alexander; Hennicker, Rolf On institutions for modular coalgebraic specifications. (English) Zbl 1052.68089 Theor. Comput. Sci. 280, No. 1-2, 69-103 (2002). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel Proof systems for structured specifications with observability operators. (English) Zbl 0901.68116 Theor. Comput. Sci. 173, No. 2, 393-443 (1997). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Bidoit, Michel; Hennicker, Rolf Behavioural theories and the proof of behavioural properties. (English) Zbl 0872.68167 Theor. Comput. Sci. 165, No. 1, 3-55 (1996). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI