Advertisement

Algebra and Coalgebra in Computer Science

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

  • Editors
  • Till Mossakowski
  • Ugo Montanari
  • Magne Haveraaen
Conference proceedings CALCO 2007

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. S. L. Bloom, Z. Ésik
      Pages 1-15
    2. Glynn Winskel
      Pages 40-64
  3. Contributed Papers

    1. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
      Pages 65-79
    2. Luca Aceto, Anna Ingólfsdóttir, MohammadReza Mousavi
      Pages 80-95
    3. David Aspinall, Piotr Hoffman
      Pages 111-125
    4. Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König
      Pages 126-142
    5. N. Bezhanishvili, A. Kurz
      Pages 143-157
    6. Corina Cîrstea, Mehrnoosh Sadrzadeh
      Pages 158-172
    7. Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Ölveczky
      Pages 173-178
    8. Manfred Droste, Guo-Qiang Zhang
      Pages 179-193
    9. José Luiz Fiadeiro, Vincent Schmitt
      Pages 194-208
    10. Fabio Gadducci, Alberto Lluch Lafuente
      Pages 209-225
    11. Neil Ghani, Alexander Kurz
      Pages 226-241
    12. Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
      Pages 279-293
    13. Peter T. Johnstone, Stephen Lack, Paweł Sobociński
      Pages 312-326
    14. Dexter Kozen, Nicholas Ruozzi
      Pages 327-341
    15. Alexander Kurz, Jiří Rosický
      Pages 342-355
    16. Delphine Longuet, Marc Aiguier
      Pages 356-371
    17. Dorel Lucanu, Grigore Roşu
      Pages 372-378
    18. Alessandra Palmigiano, Yde Venema
      Pages 394-408
    19. J. J. M. M. Rutten
      Pages 425-446
    20. Lutz Schröder
      Pages 447-461
  4. Back Matter

About these proceedings

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

  • DOI https://doi.org/10.1007/978-3-540-73859-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73857-2
  • Online ISBN 978-3-540-73859-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site