Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. Front Matter....Pages I-IX Fixed Points of Functors - A Short Abstract....Pages 1-4 Compositional Coinduction with Sized Types....Pages 5-10 Lawvere Categories as Composed PROPs....Pages 11-32 Transitivity and Difunctionality of Bisimulations....Pages 33-52 Affine Monads and Side-Effect-Freeness....Pages 53-72 Duality of Equations and Coequations via Contravariant Adjunctions....Pages 73-93 Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness....Pages 94-113 Product Rules and Distributive Laws....Pages 114-135 On the Logic of Generalised Metric Spaces....Pages 136-155 A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors....Pages 156-173 Coalgebraic Completeness-via-Canonicity....Pages 174-194 Relational Lattices via Duality....Pages 195-215 On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems....Pages 216-234 Back Matter....Pages 235-235