CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000 (Q1574971)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Angelsmark, Ola}, Constraints, adjunctions and (co)algebras, 10 p., electronic only [Zbl 0968.68149] \textit{Monteiro, Luís}, Observation systems, 15 p., electronic only [Zbl 0966.68073] \textit{Poll, Erik}, A coalgebraic semantics of subtyping, 18 p., electronic only [Zbl 0966.68048] \textit{Buss, Samuel; Roşu, Grigore}, Incompleteness of behavioral logics, 19 p., electronic only [Zbl 0959.03506] \textit{Baltag, Alexandru}, A logic for coalgebraic simulation, 19 p., electronic only [Zbl 0959.03501] \textit{Worrell, James}, Coinduction for recursive data types: Partial orders, metric spaces and \(\Omega\)-categories, 20 p., electronic only [Zbl 0963.18003] \textit{Wolter, Uwe}, On corelations, cokernels, and coequations, 20 p., electronic only [Zbl 0960.18003] \textit{Gumm, H. Peter; Schröder, Tobias}, Coalgebraic structure from weak limit preserving functors, 21 p., electronic only [Zbl 0966.68145] \textit{Rößiger, Martin}, Coalgebras and modal logic, 22 p., electronic only [Zbl 0959.03502] \textit{Tews, Hendrik}, Coalgebras for binary methods, 25 p., electronic only [Zbl 0966.68049] \textit{Honsell, Furio; Lenisa, Marina}, Coalgebraic coinduction in (hyper)set-theoretic categories, 28 p., electronic only [Zbl 0963.18002] \textit{Baldamus, Michael}, Compositional constructor interpretation over coalgebraic models for the \(\pi\)-calculus, 29 p., electronic only [Zbl 0966.68148] \textit{Lenisa, Marina; Power, John; Watanabe, Hiroshi}, Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads, 31 p., electronic only [Zbl 0960.18002] \textit{Cîrstea, Corina}, An algebra-coalgebra framework for system specification, 31 p., electronic only [Zbl 0966.68129] \textit{Kurz, Alexander; Pattinson, Dirk}, Notes on coalgebras, cofibrations and concurrency, 34 p., electronic only [Zbl 0963.18001] \textit{Jacobs, Bart}, Towards a duality result in coalgebraic modal logic, 36 p., electronic only [Zbl 0959.03503]