<h2>LIPIcs, Volume 72, CALCO 2017</h2>
<ul>
<li>
<span class="authors">Filippo Bonchi and Barbara König</span>
<span class="title">LIPIcs, Volume 72, CALCO'17, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017">10.4230/LIPIcs.CALCO.2017</a>
</li>
<li>
<span class="authors">Filippo Bonchi and Barbara König</span>
<span class="title">Front Matter, Table of Contents, Preface, List of Authors</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.0">10.4230/LIPIcs.CALCO.2017.0</a>
</li>
<li>
<span class="authors">Alex Simpson</span>
<span class="title">Probability Sheaves and the Giry Monad</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.1">10.4230/LIPIcs.CALCO.2017.1</a>
</li>
<li>
<span class="authors">Alessandro Gianola, Stefano Kasangian, and Nicoletta Sabadini</span>
<span class="title">Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.2">10.4230/LIPIcs.CALCO.2017.2</a>
</li>
<li>
<span class="authors">Jiri Adámek and Stefan Milius</span>
<span class="title">On Corecursive Algebras for Functors Preserving Coproducts</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.3">10.4230/LIPIcs.CALCO.2017.3</a>
</li>
<li>
<span class="authors">Zeinab Bakhtiari and Helle Hvid Hansen</span>
<span class="title">Bisimulation for Weakly Expressive Coalgebraic Modal Logics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.4">10.4230/LIPIcs.CALCO.2017.4</a>
</li>
<li>
<span class="authors">Henning Basold, Damien Pous, and Jurriaan Rot</span>
<span class="title">Monoidal Company for Accessible Functors</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.5">10.4230/LIPIcs.CALCO.2017.5</a>
</li>
<li>
<span class="authors">Harsh Beohar and Sebastian Küpper</span>
<span class="title">On Path-Based Coalgebras and Weak Notions of Bisimulation</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.6">10.4230/LIPIcs.CALCO.2017.6</a>
</li>
<li>
<span class="authors">Corina Cirstea, Shunsuke Shimizu, and Ichiro Hasuo</span>
<span class="title">Parity Automata for Quantitative Linear Time Logics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.7">10.4230/LIPIcs.CALCO.2017.7</a>
</li>
<li>
<span class="authors">Thomas Colcombet and Daniela Petrisan</span>
<span class="title">Automata Minimization: a Functorial Approach</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.8">10.4230/LIPIcs.CALCO.2017.8</a>
</li>
<li>
<span class="authors">Fredrik Dahlqvist and Alexander Kurz</span>
<span class="title">The Positivication of Coalgebraic Logics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.9">10.4230/LIPIcs.CALCO.2017.9</a>
</li>
<li>
<span class="authors">Clovis Eberhart and Tom Hirschowitz</span>
<span class="title">Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.10">10.4230/LIPIcs.CALCO.2017.10</a>
</li>
<li>
<span class="authors">Sebastian Enqvist and Yde Venema</span>
<span class="title">Disjunctive Bases: Normal Forms for Modal Logics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.11">10.4230/LIPIcs.CALCO.2017.11</a>
</li>
<li>
<span class="authors">Brendan Fong and Fabio Zanasi</span>
<span class="title">A Universal Construction for (Co)Relations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.12">10.4230/LIPIcs.CALCO.2017.12</a>
</li>
<li>
<span class="authors">William John Gowers and James Laird</span>
<span class="title">Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.13">10.4230/LIPIcs.CALCO.2017.13</a>
</li>
<li>
<span class="authors">Tomás Jakl and Achim Jung</span>
<span class="title">Free Constructions and Coproducts of d-Frames</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.14">10.4230/LIPIcs.CALCO.2017.14</a>
</li>
<li>
<span class="authors">Alexander Knapp and Till Mossakowski</span>
<span class="title">UML Interactions Meet State Machines - An Institutional Approach</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.15">10.4230/LIPIcs.CALCO.2017.15</a>
</li>
<li>
<span class="authors">Harald König and Uwe Wolter</span>
<span class="title">Being Van Kampen in Presheaf Topoi is a Uniqueness Property</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.16">10.4230/LIPIcs.CALCO.2017.16</a>
</li>
<li>
<span class="authors">Dan Marsden and Fabrizio Genovese</span>
<span class="title">Custom Hypergraph Categories via Generalized Relations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.17">10.4230/LIPIcs.CALCO.2017.17</a>
</li>
<li>
<span class="authors">Stefan Milius</span>
<span class="title">Proper Functors and their Rational Fixed Point</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.18">10.4230/LIPIcs.CALCO.2017.18</a>
</li>
<li>
<span class="authors">David Reutter and Jamie Vicary</span>
<span class="title">A Classical Groupoid Model for Quantum Networks</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.19">10.4230/LIPIcs.CALCO.2017.19</a>
</li>
<li>
<span class="authors">David Reutter and Jamie Vicary</span>
<span class="title">A 2-Categorical Approach to Composing Quantum Structures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.20">10.4230/LIPIcs.CALCO.2017.20</a>
</li>
<li>
<span class="authors">Fatemeh Seifan, Lutz Schröder, and Dirk Pattinson</span>
<span class="title">Uniform Interpolation in Coalgebraic Modal Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.21">10.4230/LIPIcs.CALCO.2017.21</a>
</li>
<li>
<span class="authors">Ana Sokolova and Harald Woracek</span>
<span class="title">Termination in Convex Sets of Distributions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.22">10.4230/LIPIcs.CALCO.2017.22</a>
</li>
<li>
<span class="authors">David Sprunger and Lawrence S. Moss</span>
<span class="title">Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.23">10.4230/LIPIcs.CALCO.2017.23</a>
</li>
<li>
<span class="authors">Henning Urbat</span>
<span class="title">Finite Behaviours and Finitary Corecursion</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.24">10.4230/LIPIcs.CALCO.2017.24</a>
</li>
<li>
<span class="authors">Kenta Cho and Bart Jacobs</span>
<span class="title">The EfProb Library for Probabilistic Calculations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CALCO.2017.25">10.4230/LIPIcs.CALCO.2017.25</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing