Electronic Notes in Theoretical Computer Science, Volume 106

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