default search action
10th CMCS@ETAPS 2010: Paphos, Cyprus
- Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010. Electronic Notes in Theoretical Computer Science 264(2), Elsevier 2010 - Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface. 1-2 - Jirí Adámek, Stefan Milius, Jirí Velebil:
Recursive Program Schemes and Context-Free Monads. 3-23 - Kazuyuki Asada, Ichiro Hasuo
:
Categorifying Computations into Components via Arrows as Profunctors. 25-45 - Adriana Balan
On Coalgebras over Algebras. 47-62 - Vincenzo Ciancia
Families of Symmetries as Efficient Models of Resource Binding. 63-81 - Corina Cîrstea:
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. 83-103 - Michael Hauhs
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. 105-123 - Bart Jacobs:
From Coalgebraic to Monoidal Traces. 125-140 - Jiho Kim:
Higher-order Algebras and Coalgebras from Parameterized Endofunctors. 141-154 - Bartek Klin
Structural Operational Semantics and Modal Logic, Revisited. 155-175 - Jan Komenda:
Coinduction in Concurrent Timed Systems. 177-197
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-12-22 18:47 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: