Volume 106, December 2004

• 
  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 updated on Sat May 25 06:08:15 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page