CMCS `99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS `99. Amsterdam, the Netherlands, March 20--21, 1999 (Q1294117)

The articles of this volume will be reviewed individually. The preceding workshop (1st, 1998) has been announced (see Zbl 0902.00067). Indexed articles: \textit{Lenisa, Marina}, From set-theoretic coinduction to coalgebraic coinduction: Some results, some problems, electronic paper No. 2 [Zbl 0918.68029] \textit{Lasota, Slawomir}, Coalgebra morphisms subsume open maps, electronic paper No. 3 [Zbl 0918.68022] \textit{Worrell, James}, Terminal sequences for accessible endofunctors, electronic paper No. 4 [Zbl 0918.68024] \textit{Rößiger, Martin}, Languages for coalgebras on datafunctors, electronic paper No. 5 [Zbl 0918.68028] \textit{Wolter, Uwe}, A coalgebraic introduction to CSP, electronic paper No. 6 [Zbl 0918.68021] \textit{Wegner, Peter; Goldin, Dina}, Coinductive models of finite computing agents, electronic paper No. 7 [Zbl 0918.68023] \textit{Power, John; Watanabe, Hiroshi}, Distributivity for a monad and a comonad, electronic paper No. 8 [Zbl 0918.68062] \textit{Pavlovic, Dusko; Pratt, Vaughan}, On coalgebra of real numbers., electronic paper No. 9 [Zbl 1094.13541] \textit{Corradini, Andrea; Heckel, Reiko; Montanari, Ugo}, From SOS specifications to structured coalgebras: How to make bisimulation a congruence, electronic paper No. 10 [Zbl 0918.68065] \textit{Cîrstea, Corina}, A coequational approach to specifying behaviours, electronic paper No. 11 [Zbl 0918.68063] \textit{Hennicker, Rolf; Kurz, Alexander}, \((\Omega,\Xi)\)-logic: On the algebraic extension of coalgebraic specifications, electronic paper No. 12 [Zbl 0918.68064] \textit{Lucanu, Dorel; Gheorghies, Ovidiu; Apetrei, Adriana}, Bisimulation and hidden algebra., electronic paper No. 13 [Zbl 1126.08300] \textit{van Breugel, Franck; Watson, Stephen W.}, A note on hyperspaces and terminal coalgebras., electronic paper No. 14 [Zbl 1127.54302]