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

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
  • About this book