Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Algebra and Coalgebra in Computer Science

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

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)

Conference series link(s): CALCO: International Conference on Algebra and Coalgebra in Computer Science

Conference proceedings info: CALCO 2013.

Sections

Buy it now

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

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

Table of contents (30 papers)

  1. Front Matter

    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

    7. Homomorphisms of Coalgebras from Predicate Liftings

      • Sebastian Enqvist
      Pages 126-140

    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

    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

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation