Volume 33,
2000
CMCS'2000 Coalgebraic Methods in Computer Science
Berlin,
Germany,
25-26 March 2000
- Horst Reichel:
Preface.
1-2
- Ola Angelsmark:
Constraints, Adjunctions and (Co)algebras.
3-12
- Michael Baldamus:
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus.
13-41
- Alexandru Baltag:
A Logic for Coalgebraic Simulation.
42-60
- Samuel R. Buss, Grigore Rosu:
Incompleteness of Behavioral Logics.
61-79
- Corina Cîrstea:
An Algebra-Coalgebra Framework for System Specification.
80-110
- H. Peter Gumm, Tobias Schröder:
Coalgebraic structure from weak limit preserving functors.
111-131
- Furio Honsell, Marina Lenisa:
Coalgebraic Coinduction in (Hyper)set-theoretic Categories.
132-159
- Bart Jacobs:
Towards a Duality Result in Coalgebraic Modal Logic.
160-195
- Alexander Kurz, Dirk Pattinson:
Notes on Coalgebras, Cofibrations and Concurrency.
196-229
- Marina Lenisa, John Power, Hiroshi Watanabe:
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads.
230-260
- Luís Monteiro:
Observation systems.
261-275
- Erik Poll:
A Coalgebraic Semantics of Subtyping.
276-293
- Martin Rößiger:
Coalgebras and Modal Logic.
294-315
- Hendrik Tews:
Coalgebras for Binary Methods.
316
- Uwe Wolter:
On Corelations, Cokernels, and Coequations.
317-336
- James Worrell:
Coinduction for recursive data types: partial orders, metric spaces and Omega-categories.
337-356
Last update Tue Feb 14 04:17:29 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
