Skip to main content
SpringerLink
Log in
Book cover

Algebra and Coalgebra in Computer Science

5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Reiko Heckel

    1. Department of Computer Science, University of Leicester, Leicester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stefan Milius

    1. Lehrstuhl für Theoretische Informatik, Friedrich-Alexander Universität, Erlangen-Nürnberg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceeding of CALCO 2013

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8089)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CALCO 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. An Effect System for Algebraic Effects and Handlers

      • Andrej Bauer, Matija Pretnar
      Pages 1-16

    2. Automata and Algebras for Infinite Words and Trees

      • Mikołaj Bojańczyk
      Pages 17-18

    3. Positive Inductive-Recursive Definitions

      • Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg
      Pages 19-33

    4. Coalgebraic Up-to Techniques

      • Damien Pous
      Pages 34-35

  3. Contributed Papers

    1. Exploiting Algebraic Laws to Improve Mechanized Axiomatizations

      • Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers
      Pages 36-50

    2. Positive Fragments of Coalgebraic Logics

      • Adriana Balan, Alexander Kurz, Jiří Velebil
      Pages 51-65

    3. Many-Valued Relation Lifting and Moss’ Coalgebraic Logic

      • Marta Bílková, Matěj Dostál
      Pages 66-79

    4. Saturated Semantics for Coalgebraic Logic Programming

      • Filippo Bonchi, Fabio Zanasi
      Pages 80-94

    5. Presenting Distributive Laws

      • Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
      Pages 95-109

    6. Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras

      • Vincenzo Ciancia
      Pages 110-125

    7. Homomorphisms of Coalgebras from Predicate Liftings

      • Sebastian Enqvist
      Pages 126-140

    8. From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality

      • Robert Furber, Bart Jacobs
      Pages 141-157

    9. Trace Semantics via Generic Observations

      • Sergey Goncharov
      Pages 158-174

    10. Full Abstraction for Fair Testing in CCS

      • Tom Hirschowitz
      Pages 175-190

    11. A Simple Case of Rationality of Escalation

      • Pierre Lescanne
      Pages 191-204

    12. Coalgebras with Symmetries and Modelling Quantum Systems

      • Daniel Marsden
      Pages 205-219

    13. From Operational Chu Duality to Coalgebraic Quantum Symmetry

      • Yoshihiro Maruyama
      Pages 220-235

    14. Noninterfering Schedulers

      • Andrei Popescu, Johannes Hölzl, Tobias Nipkow
      Pages 236-252

    15. Simulations and Bisimulations for Coalgebraic Modal Logics

      • Daniel Gorín, Lutz Schröder
      Pages 253-266
Back to top

Other volumes

  1. Algebra and Coalgebra in Computer Science

Keywords

About this book

This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.

Editors and Affiliations

  • Department of Computer Science, University of Leicester, Leicester, UK

    Reiko Heckel

  • Lehrstuhl für Theoretische Informatik, Friedrich-Alexander Universität, Erlangen-Nürnberg, Germany

    Stefan Milius

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation