Skip to main content
  • Conference proceedings
  • © 2005

Algebra and Coalgebra in Computer Science

First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

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

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 2005.

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-31876-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

  2. Invited Talks

    1. Labels from Reductions: Towards a General Theory

      • Bartek Klin, Vladimiro Sassone, Paweł Sobociński
      Pages 30-50
    2. Adequacy for Algebraic Effects with State

      • Gordon Plotkin
      Pages 51-51
  3. Contributed Papers

    1. Bisimilarity Is Not Finitely Based over BPA with Interrupt

      • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain
      Pages 52-66
    2. Algebra ∩ Coalgebra = Presheaves

      • J. Adámek
      Pages 67-82
    3. Strong Splitting Bisimulation Equivalence

      • J. A. Bergstra, C. A. Middelburg
      Pages 83-97
    4. Complete Axioms for Stateless Connectors

      • Roberto Bruni, Ivan Lanese, Ugo Montanari
      Pages 98-113
    5. Modelling Fusion Calculus using HD-Automata

      • Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
      Pages 142-156
    6. Context-Free Languages via Coalgebraic Trace Semantics

      • Ichiro Hasuo, Bart Jacobs
      Pages 213-231
    7. Towards a Coalgebraic Semantics of the Ambient Calculus

      • Daniel Hausmann, Till Mossakowski, Lutz Schröder
      Pages 232-246
    8. Ultrafilter Extensions for Coalgebras

      • C. Kupke, A. Kurz, D. Pattinson
      Pages 263-277
    9. Equational Logic of Recursive Program Schemes

      • John G. Mersch
      Pages 278-292
    10. The Category Theoretic Solution of Recursive Program Schemes

      • Stefan Milius, Lawrence S. Moss
      Pages 293-312

Other Volumes

  1. Algebra and Coalgebra in Computer Science

    First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Keywords

  • Automat
  • Hardware
  • Middleware
  • automata
  • computer
  • computer science
  • modeling
  • programming
  • programming language
  • quality assurance
  • semantics
  • term rewriting
  • verification

Editors and Affiliations

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

    José Luiz Fiadeiro

  • Department of Computer Science, University of Wales Swansea, Swansea, UK

    Neil Harman

  • University of Wales Swansea, United Kingdom

    Markus Roggenbach

  • CWI and Vrije Universiteit Amsterdam,  

    Jan Rutten

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-31876-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)