Electronic Notes in Theoretical Computer Science, Volume 106

Volume 106, December 2004

Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS)

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AdamekM04
- ask others
Jirí Adámek, Stefan Milius: Preface. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AdamekMV04
- ask others
Jirí Adámek, Stefan Milius, Jiri Velebil: From Iterative Algebras to Iterative Theories (Extended Abstract). 3-24
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BruniHLM04
- ask others
Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Modeling Fresh Names in the ?-calculus Using Abstractions. 25-41
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CaprettaUV04
- ask others
Venanzio Capretta, Tarmo Uustalu, Varmo Vene: Recursive Coalgebras from Comonads. 43-61
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Cirstea04
- ask others
Corina Cîrstea: On Logics for Coalgebraic Simulation. 63-90
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FioreS04
- ask others
Marcelo P. Fiore, Sam Staton: Comparing Operational Models of Name-Passing Process Calculi. 91-104
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GhaniYV04
- ask others
Neil Ghani, Kidane Yemane, Björn Victor: Relationally Staged Computations in Calculi of Mobile Processes. 105-120
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HansenK04
- ask others
Helle Hvid Hansen, Clemens Kupke: A Coalgebraic Perspective on Monotone Modal Logic. 121-143
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jacobs04
- ask others
Bart Jacobs: Relating Two Approaches to Coinductive Solution of Recursive Equations. 145-166
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jacobs04a
- ask others
Bart Jacobs: Trace Semantics for Coalgebras. 167-184
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KickP04
- ask others
Marco Kick, A. John Power: Modularity of Behaviours for Mathematical Operational Semantics. 185-200
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Klin04
- ask others
Bartek Klin: A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces. 201-218
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KupkeKP04
- ask others
Clemens Kupke, Alexander Kurz, Dirk Pattinson: Algebraic Semantics for Coalgebraic Logics. 219-241
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KurzP04
- ask others
Alexander Kurz, Alessandra Palmigiano: Coalgebras and Modal Expansions of Logics. 243-259
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Monteiro04
- ask others
Luís Monteiro: A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. 261-277
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MossV04
- ask others
Lawrence S. Moss, Ignacio D. Viglizzo: Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories. 279-295
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/PowerS04
- ask others
A. John Power, Olha Shkaravska: From Comodels to Coalgebras: State and Arrays. 297-314
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Pucella04
- ask others
Riccardo Pucella: On Equivalences for a Class of Timed Regular Expressions. 315-333
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Tews04
- ask others
Hendrik Tews: Predicate and Relation Lifting for Parametric Algebraic Specifications. 335-353
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Venema04
- ask others
Yde Venema: Automata and Fixed Point Logics for Coalgebras. 355-375