Volume 11, 1998
CMCS '98 First Workshop on Coalgebraic Methods in Computer Science
Lisbon, Portugal, 28-29 March 1998
- Paul Caspi, Marc Pouzet:
A Co-iterative Characterization of Synchronous Stream Functions.
1-21
- Andrea Corradini, Martin Große-Rhode, Reiko Heckel:
Structured Transition Systems as Lax Coalgebras.
22-41
- H. Peter Gumm, Tobias Schröder:
Covarieties and Complete Covarieties.
42-55
- Alexander Kurz:
Specifying Coalgebras with Modal Logic.
56-70
- Luís Monteiro:
Semantic domains based on sets with families of equivalences.
71-104
- Alberto Pardo:
Monadic Corecursion - Definition, Fusion Laws, and Applications.
105-139
- Dusko Pavlovic:
Guarded induction on final coalgebras.
140-157
- John Power, Hiroshi Watanabe:
An axiomatics for categories of coalgebras.
158-175
- Grigore Rosu:
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra.
176-193
- Dmitri Schamschurko:
Modeling Process Calculi with PVS.
194-211
- James Worrell:
Toposes of Coalgebras and Hidden Algebras.
212-230
- Bart Jacobs:
Coalgebraic Reasoning about Classes in Object-Oriented Languages.
231-242
- Horst Reichel:
Dialgebraic Logics.
243-251
- Jan J. M. M. Rutten:
Relators and Metric Bisimulations.
252-258
- Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
Preface.
259
Last update Tue May 21 13:43:18 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
