LIPIcs, Volume 72, CALCO 2017

• Filippo Bonchi and Barbara König LIPIcs, Volume 72, CALCO'17, Complete Volume 10.4230/LIPIcs.CALCO.2017
• Filippo Bonchi and Barbara König Front Matter, Table of Contents, Preface, List of Authors 10.4230/LIPIcs.CALCO.2017.0
• Alex Simpson Probability Sheaves and the Giry Monad 10.4230/LIPIcs.CALCO.2017.1
• Alessandro Gianola, Stefano Kasangian, and Nicoletta Sabadini Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks 10.4230/LIPIcs.CALCO.2017.2
• Jiri Adámek and Stefan Milius On Corecursive Algebras for Functors Preserving Coproducts 10.4230/LIPIcs.CALCO.2017.3
• Zeinab Bakhtiari and Helle Hvid Hansen Bisimulation for Weakly Expressive Coalgebraic Modal Logics 10.4230/LIPIcs.CALCO.2017.4
• Henning Basold, Damien Pous, and Jurriaan Rot Monoidal Company for Accessible Functors 10.4230/LIPIcs.CALCO.2017.5
• Harsh Beohar and Sebastian Küpper On Path-Based Coalgebras and Weak Notions of Bisimulation 10.4230/LIPIcs.CALCO.2017.6
• Corina Cirstea, Shunsuke Shimizu, and Ichiro Hasuo Parity Automata for Quantitative Linear Time Logics 10.4230/LIPIcs.CALCO.2017.7
• Thomas Colcombet and Daniela Petrisan Automata Minimization: a Functorial Approach 10.4230/LIPIcs.CALCO.2017.8
• Fredrik Dahlqvist and Alexander Kurz The Positivication of Coalgebraic Logics 10.4230/LIPIcs.CALCO.2017.9
• Clovis Eberhart and Tom Hirschowitz Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics 10.4230/LIPIcs.CALCO.2017.10
• Sebastian Enqvist and Yde Venema Disjunctive Bases: Normal Forms for Modal Logics 10.4230/LIPIcs.CALCO.2017.11
• Brendan Fong and Fabio Zanasi A Universal Construction for (Co)Relations 10.4230/LIPIcs.CALCO.2017.12
• William John Gowers and James Laird Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics 10.4230/LIPIcs.CALCO.2017.13
• Tomás Jakl and Achim Jung Free Constructions and Coproducts of d-Frames 10.4230/LIPIcs.CALCO.2017.14
• Alexander Knapp and Till Mossakowski UML Interactions Meet State Machines - An Institutional Approach 10.4230/LIPIcs.CALCO.2017.15
• Harald König and Uwe Wolter Being Van Kampen in Presheaf Topoi is a Uniqueness Property 10.4230/LIPIcs.CALCO.2017.16
• Dan Marsden and Fabrizio Genovese Custom Hypergraph Categories via Generalized Relations 10.4230/LIPIcs.CALCO.2017.17
• Stefan Milius Proper Functors and their Rational Fixed Point 10.4230/LIPIcs.CALCO.2017.18
• David Reutter and Jamie Vicary A Classical Groupoid Model for Quantum Networks 10.4230/LIPIcs.CALCO.2017.19
• David Reutter and Jamie Vicary A 2-Categorical Approach to Composing Quantum Structures 10.4230/LIPIcs.CALCO.2017.20
• Fatemeh Seifan, Lutz Schröder, and Dirk Pattinson Uniform Interpolation in Coalgebraic Modal Logic 10.4230/LIPIcs.CALCO.2017.21
• Ana Sokolova and Harald Woracek Termination in Convex Sets of Distributions 10.4230/LIPIcs.CALCO.2017.22
• David Sprunger and Lawrence S. Moss Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence 10.4230/LIPIcs.CALCO.2017.23
• Henning Urbat Finite Behaviours and Finitary Corecursion 10.4230/LIPIcs.CALCO.2017.24
• Kenta Cho and Bart Jacobs The EfProb Library for Probabilistic Calculations 10.4230/LIPIcs.CALCO.2017.25