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