Journal: Electronic Notes in Theoretical Computer Science

Volume 264, Issue 2

1 -- 2Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva. Preface
3 -- 23Jirí Adámek, Stefan Milius, Jiri Velebil. Recursive Program Schemes and Context-Free Monads
25 -- 45Kazuyuki Asada, Ichiro Hasuo. Categorifying Computations into Components via Arrows as Profunctors
47 -- 62Adriana Balan, Alexander Kurz. On Coalgebras over Algebras
63 -- 81Vincenzo Ciancia, Alexander Kurz, Ugo Montanari. Families of Symmetries as Efficient Models of Resource Binding
83 -- 103Corina Cîrstea. Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics
105 -- 123Michael Hauhs, Baltasar Trancón-y-Widemann. Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map
125 -- 140Bart Jacobs. From Coalgebraic to Monoidal Traces
141 -- 154Jiho Kim. Higher-order Algebras and Coalgebras from Parameterized Endofunctors
155 -- 175Bartek Klin. Structural Operational Semantics and Modal Logic, Revisited
177 -- 197Jan Komenda. Coinduction in Concurrent Timed Systems