Skip to main content
  • Conference proceedings
  • © 2007

Algebra and Coalgebra in Computer Science

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

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.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (30 papers)

  1. Front Matter

  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
    3. 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
    3. Datatypes in Memory

      • David Aspinall, Piotr Hoffman
      Pages 111-125
    4. Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

      • Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
      Pages 126-142
    5. Free Modal Algebras: A Coalgebraic Perspective

      • N. Bezhanishvili, A. Kurz
      Pages 143-157
    6. Coalgebraic Epistemic Update Without Change of Model

      • Corina Cîrstea, Mehrnoosh Sadrzadeh
      Pages 158-172
    7. The Maude Formal Tool Environment

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

      • Manfred Droste, Guo-Qiang Zhang
      Pages 179-193
    9. Structured Co-spans: An Algebra of Interaction Protocols

      • José Luiz Fiadeiro, Vincent Schmitt
      Pages 194-208
    10. Graphical Encoding of a Spatial Logic for the π-Calculus

      • Fabio Gadducci, Alberto Lluch Lafuente
      Pages 209-225
    11. Higher Dimensional Trees, Algebraically

      • Neil Ghani, Alexander Kurz
      Pages 226-241
    12. Bisimulation for Neighbourhood Structures

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

Other Volumes

  1. Algebra and Coalgebra in Computer Science

Keywords

  • Bisimulation
  • Computer
  • Maude
  • automata
  • calculi
  • formal methods
  • formal testing
  • graph logic
  • higher order processes
  • logic
  • modeling
  • petri net
  • semantics
  • specification-based
  • verification

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions