Volume 106,
December 2004
Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS)
- Jirí Adámek, Stefan Milius:
Preface.
1-2
Electronic Edition (link) BibTeX
- Jirí Adámek, Stefan Milius, Jiri Velebil:
From Iterative Algebras to Iterative Theories (Extended Abstract).
3-24
Electronic Edition (link) BibTeX
- Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan:
Modeling Fresh Names in the ?-calculus Using Abstractions.
25-41
Electronic Edition (link) BibTeX
- Venanzio Capretta, Tarmo Uustalu, Varmo Vene:
Recursive Coalgebras from Comonads.
43-61
Electronic Edition (link) BibTeX
- Corina Cîrstea:
On Logics for Coalgebraic Simulation.
63-90
Electronic Edition (link) BibTeX
- Marcelo P. Fiore, Sam Staton:
Comparing Operational Models of Name-Passing Process Calculi.
91-104
Electronic Edition (link) BibTeX
- Neil Ghani, Kidane Yemane, Björn Victor:
Relationally Staged Computations in Calculi of Mobile Processes.
105-120
Electronic Edition (link) BibTeX
- Helle Hvid Hansen, Clemens Kupke:
A Coalgebraic Perspective on Monotone Modal Logic.
121-143
Electronic Edition (link) BibTeX
- Bart Jacobs:
Relating Two Approaches to Coinductive Solution of Recursive Equations.
145-166
Electronic Edition (link) BibTeX
- Bart Jacobs:
Trace Semantics for Coalgebras.
167-184
Electronic Edition (link) BibTeX
- Marco Kick, A. John Power:
Modularity of Behaviours for Mathematical Operational Semantics.
185-200
Electronic Edition (link) BibTeX
- Bartek Klin:
A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces.
201-218
Electronic Edition (link) BibTeX
- Clemens Kupke, Alexander Kurz, Dirk Pattinson:
Algebraic Semantics for Coalgebraic Logics.
219-241
Electronic Edition (link) BibTeX
- Alexander Kurz, Alessandra Palmigiano:
Coalgebras and Modal Expansions of Logics.
243-259
Electronic Edition (link) BibTeX
- Luís Monteiro:
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure.
261-277
Electronic Edition (link) BibTeX
- Lawrence S. Moss, Ignacio D. Viglizzo:
Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories.
279-295
Electronic Edition (link) BibTeX
- A. John Power, Olha Shkaravska:
From Comodels to Coalgebras: State and Arrays.
297-314
Electronic Edition (link) BibTeX
- Riccardo Pucella:
On Equivalences for a Class of Timed Regular Expressions.
315-333
Electronic Edition (link) BibTeX
- Hendrik Tews:
Predicate and Relation Lifting for Parametric Algebraic Specifications.
335-353
Electronic Edition (link) BibTeX
- Yde Venema:
Automata and Fixed Point Logics for Coalgebras.
355-375
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:18 2009
by Michael Ley (ley@uni-trier.de)