default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th CMCS 2003: Warsaw, Poland (Part of ETAPS 2003)
- H. Peter Gumm:
6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(1), Elsevier 2003 - Jirí Adámek:
On a Description of Terminal Coalgebras and Iterative Theories. 1-16 - Alexandru Baltag:
A Coalgebraic Semantics for Epistemic Programs. 17-38 - Luís Soares Barbosa
, José Nuno Oliveira:
State-based Components Made Generic. 39-56 - Falk Bartels, Ana Sokolova, Erik P. de Vink:
A hierarchy of probabilistic system types. 57-75 - Daniela Cancila, Furio Honsell, Marina Lenisa:
Generalized Coiteration Schemata. 76-93 - Hubie Chen, Riccardo Pucella:
A Coalgebraic Approach to Kleene Algebra with Tests. 94-109 - Corina Cîrstea:
On Expressivity and Compositionality in Logics for Coalgebras. 110-127 - Bart Jacobs, Jesse Hughes:
Simulations in Coalgebra. 128-149 - Jan Komenda:
Coinduction in Control of Partially Observed Discrete-Event Systems. 150-169 - Clemens Kupke, Alexander Kurz, Yde Venema:
Stone Coalgebras. 170-190 - Ralph Matthes, Tarmo Uustalu:
Substitution in Non-wellfounded Syntax with Variable Binding. 191-205 - Till Mossakowski, Markus Roggenbach, Lutz Schröder:
CoCASL at Work -- Modelling Process Algebra. 206-220 - Alessandra Palmigiano:
Coalgebraic Semantics for Positive Modal Logic. 221-236 - Dirk Pattinson:
Computable Functions on Final Coalgebras. 237-256 - John Power:
Towards a theory of mathematical operational semantics. 257-272 - Vaughan R. Pratt:
Comonoids in chu: a large cartesian closed sibling of topological spaces. 273-284 - Grigore Rosu:
Inductive Behavioral Proofs by Unhiding. 285-302 - Jan Rothe, Dragan Masulovic:
Modal Logics for Observation Equivalences. 303-320 - Luigi Santocanale:
Logical Construction of Final Coalgebras. 321-340 - H. Peter Gumm:
Preface. 341-342
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 2025-03-22 00:17 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:
