default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th CMCS 2004: Barcelona, Spain
- Jirí Adámek, Stefan Milius:
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, CMCS 2004, Barcelona, Spain, March 27-29, 2004. Electronic Notes in Theoretical Computer Science 106, Elsevier 2004 - Jirí Adámek, Stefan Milius:
Preface. 1-2 - Jirí Adámek, Stefan Milius, Jirí 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
