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

Algebra and Coalgebra in Computer Science

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Editors:

  1. Till Mossakowski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ugo Montanari
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Magne Haveraaen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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. Regular and Algebraic Words and Ordinals

      • S. L. Bloom, Z. Ésik
      Pages 1-15

    2. Logical Semantics of Types for Concurrency

      • Luís Caires
      Pages 16-35

    4. Symmetry and Concurrency

      • Glynn Winskel
      Pages 40-64

  3. Contributed Papers

    1. Ready to Preorder: Get Your BCCSP Axiomatization for Free!

      • Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
      Pages 65-79

    2. Impossibility Results for the Equational Theory of Timed CCS

      • Luca Aceto, Anna Ingólfsdóttir, MohammadReza Mousavi
      Pages 80-95

    4. Datatypes in Memory

      • David Aspinall, Piotr Hoffman
      Pages 111-125

    5. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

      • Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
      Pages 126-142

    6. Free Modal Algebras: A Coalgebraic Perspective

      • N. Bezhanishvili, A. Kurz
      Pages 143-157

    7. Coalgebraic Epistemic Update Without Change of Model

      • Corina Cîrstea, Mehrnoosh Sadrzadeh
      Pages 158-172

    8. The Maude Formal Tool Environment

      • Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Ölveczky
      Pages 173-178

    9. Bifinite Chu Spaces

      • Manfred Droste, Guo-Qiang Zhang
      Pages 179-193

    10. Structured Co-spans: An Algebra of Interaction Protocols

      • José Luiz Fiadeiro, Vincent Schmitt
      Pages 194-208

    11. Graphical Encoding of a Spatial Logic for the π-Calculus

      • Fabio Gadducci, Alberto Lluch Lafuente
      Pages 209-225

    12. Higher Dimensional Trees, Algebraically

      • Neil Ghani, Alexander Kurz
      Pages 226-241

    15. Bisimulation for Neighbourhood Structures

      • Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
      Pages 279-293
Back to top

Other Volumes

  1. Algebra and Coalgebra in Computer Science

Back to top

Keywords

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