Corradini, Andrea; Heckel, Reiko; Montanari, Ugo Compositional SOS and beyond: A coalgebraic view of open systems. (English) Zbl 1014.68107 Theor. Comput. Sci. 280, No. 1-2, 163-192 (2002). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Power, John; Watanabe, Hiroshi Combining a monad and a comonad. (English) Zbl 1002.68059 Theor. Comput. Sci. 280, No. 1-2, 137-162 (2002). MSC: 68Q10 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Lasota, Sławomir Coalgebra morphisms subsume open maps. (English) Zbl 1014.68106 Theor. Comput. Sci. 280, No. 1-2, 123-135 (2002). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Pavlović, D.; Pratt, V. The continuum as a final coalgebra. (English) Zbl 1002.68092 Theor. Comput. Sci. 280, No. 1-2, 105-122 (2002). MSC: 68Q55 × 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
Cîrstea, Corina A coalgebraic equational approach to specifying observational structures. (English) Zbl 1002.68095 Theor. Comput. Sci. 280, No. 1-2, 35-68 (2002). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Wolter, Uwe CSP, partial automata, and coalgebras. (English) Zbl 1050.68099 Theor. Comput. Sci. 280, No. 1-2, 3-34 (2002). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI