CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000
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]
- Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures
- Preface to Special Issue: Coalgebraic methods in computer science
- Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010)
- Special issue: CMCS tenth anniversary meeting. Selected papers based on the presentations at the workshop on coalgebraic methods in computer science (CMCS), Paphos, Cypern, March 26--28, 2010
This page was built for publication: CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1574971)
