CALCO 2017 June 12-16, 2017 - Ljubljana, Slovenia

7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)



Filippo Bonchi and Barbara König (Eds.)
ISBN 978-3-95977-033-0, LIPICS Vol. 72 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 13 MB)
Search Publication Server


Authors
  • Adámek, Jiri
  • Bakhtiari, Zeinab
  • Basold, Henning
  • Beohar, Harsh
  • Bonchi, Filippo
  • Cho, Kenta
  • Cirstea, Corina
  • Colcombet, Thomas
  • Dahlqvist, Fredrik
  • Eberhart, Clovis
  • Enqvist, Sebastian
  • Fong, Brendan
  • Genovese, Fabrizio
  • Gianola, Alessandro
  • Gowers, William John
  • Hasuo, Ichiro
  • Hirschowitz, Tom
  • Hvid Hansen, Helle
  • Jacobs, Bart
  • Jakl, Tomás
  • Jung, Achim
  • König, Barbara
  • König, Harald
  • Küpper, Sebastian
  • Kasangian, Stefano
  • Knapp, Alexander
  • Kurz, Alexander
  • Laird, James
  • Marsden, Dan
  • Milius, Stefan
  • Moss, Lawrence S.
  • Mossakowski, Till
  • Pattinson, Dirk
  • Petrisan, Daniela
  • Pous, Damien
  • Reutter, David
  • Rot, Jurriaan
  • Sabadini, Nicoletta
  • Schröder, Lutz
  • Seifan, Fatemeh
  • Shimizu, Shunsuke
  • Simpson, Alex
  • Sokolova, Ana
  • Sprunger, David
  • Urbat, Henning
  • Venema, Yde
  • Vicary, Jamie
  • Wolter, Uwe
  • Woracek, Harald
  • Zanasi, Fabio

  •   
    Front Matter, Table of Contents, Preface, List of Authors
    Authors: Bonchi, Filippo ; König, Barbara

    Abstract | Document (323 KB) | BibTeX

    Probability Sheaves and the Giry Monad
    Authors: Simpson, Alex

    Abstract | Document (431 KB) | BibTeX

    Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks
    Authors: Gianola, Alessandro ; Kasangian, Stefano ; Sabadini, Nicoletta

    Abstract | Document (969 KB) | BibTeX

    On Corecursive Algebras for Functors Preserving Coproducts
    Authors: Adámek, Jiri ; Milius, Stefan

    Abstract | Document (527 KB) | BibTeX

    Bisimulation for Weakly Expressive Coalgebraic Modal Logics
    Authors: Bakhtiari, Zeinab ; Hvid Hansen, Helle

    Abstract | Document (507 KB) | BibTeX

    Monoidal Company for Accessible Functors
    Authors: Basold, Henning ; Pous, Damien ; Rot, Jurriaan

    Abstract | Document (597 KB) | BibTeX

    On Path-Based Coalgebras and Weak Notions of Bisimulation
    Authors: Beohar, Harsh ; Küpper, Sebastian

    Abstract | Document (585 KB) | BibTeX

    Parity Automata for Quantitative Linear Time Logics
    Authors: Cirstea, Corina ; Shimizu, Shunsuke ; Hasuo, Ichiro

    Abstract | Document (646 KB) | BibTeX

    Automata Minimization: a Functorial Approach
    Authors: Colcombet, Thomas ; Petrisan, Daniela

    Abstract | Document (597 KB) | BibTeX

    The Positivication of Coalgebraic Logics
    Authors: Dahlqvist, Fredrik ; Kurz, Alexander

    Abstract | Document (589 KB) | BibTeX

    Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics
    Authors: Eberhart, Clovis ; Hirschowitz, Tom

    Abstract | Document (589 KB) | BibTeX

    Disjunctive Bases: Normal Forms for Modal Logics
    Authors: Enqvist, Sebastian ; Venema, Yde

    Abstract | Document (608 KB) | BibTeX

    A Universal Construction for (Co)Relations
    Authors: Fong, Brendan ; Zanasi, Fabio

    Abstract | Document (584 KB) | BibTeX

    Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics
    Authors: Gowers, William John ; Laird, James

    Abstract | Document (643 KB) | BibTeX

    Free Constructions and Coproducts of d-Frames
    Authors: Jakl, Tomás ; Jung, Achim

    Abstract | Document (724 KB) | BibTeX

    UML Interactions Meet State Machines - An Institutional Approach
    Authors: Knapp, Alexander ; Mossakowski, Till

    Abstract | Document (660 KB) | BibTeX

    Being Van Kampen in Presheaf Topoi is a Uniqueness Property
    Authors: König, Harald ; Wolter, Uwe

    Abstract | Document (692 KB) | BibTeX

    Custom Hypergraph Categories via Generalized Relations
    Authors: Marsden, Dan ; Genovese, Fabrizio

    Abstract | Document (460 KB) | BibTeX

    Proper Functors and their Rational Fixed Point
    Authors: Milius, Stefan

    Abstract | Document (463 KB) | BibTeX

    A Classical Groupoid Model for Quantum Networks
    Authors: Reutter, David ; Vicary, Jamie

    Abstract | Document (550 KB) | BibTeX

    A 2-Categorical Approach to Composing Quantum Structures
    Authors: Reutter, David ; Vicary, Jamie

    Abstract | Document (609 KB) | BibTeX

    Uniform Interpolation in Coalgebraic Modal Logic
    Authors: Seifan, Fatemeh ; Schröder, Lutz ; Pattinson, Dirk

    Abstract | Document (529 KB) | BibTeX

    Termination in Convex Sets of Distributions
    Authors: Sokolova, Ana ; Woracek, Harald

    Abstract | Document (517 KB) | BibTeX

    Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence
    Authors: Sprunger, David ; Moss, Lawrence S.

    Abstract | Document (515 KB) | BibTeX

    Finite Behaviours and Finitary Corecursion
    Authors: Urbat, Henning

    Abstract | Document (493 KB) | BibTeX

    The EfProb Library for Probabilistic Calculations
    Authors: Cho, Kenta ; Jacobs, Bart

    Abstract | Document (534 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI