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
Bidoit, Michel; Hennicker, Rolf Proving the correctness of behavioural implementations. (English) Zbl 1496.68199 Alagar, V. S. (ed.) et al., Algebraic methodology and software technology. 4th international conference, AMAST ’95, Montreal, Canada, July 3–7, 1995. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 936, 152-168 (1995). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI