Algebra and Coalgebra in Computer Science

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

  • José Luiz Fiadeiro
  • Neil Harman
  • Markus Roggenbach
  • Jan Rutten
Conference proceedings CALCO 2005

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Bartek Klin, Vladimiro Sassone, Paweł Sobociński
      Pages 30-50
    2. Gordon Plotkin
      Pages 51-51
  3. Contributed Papers

    1. Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain
      Pages 52-66
    2. J. Adámek
      Pages 67-82
    3. J. A. Bergstra, C. A. Middelburg
      Pages 83-97
    4. Roberto Bruni, Ivan Lanese, Ugo Montanari
      Pages 98-113
    5. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
      Pages 142-156
    6. Ichiro Hasuo, Bart Jacobs
      Pages 213-231
    7. Daniel Hausmann, Till Mossakowski, Lutz Schröder
      Pages 232-246
    8. C. Kupke, A. Kurz, D. Pattinson
      Pages 263-277
    9. John G. Mersch
      Pages 278-292
    10. Stefan Milius, Lawrence S. Moss
      Pages 293-312

About these proceedings

Keywords

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

Editors and affiliations

  • José Luiz Fiadeiro
    • 1
  • Neil Harman
    • 2
  • Markus Roggenbach
    • 3
  • Jan Rutten
    • 4
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK
  2. 2.Department of Computer ScienceUniversity of Wales SwanseaSwanseaUK
  3. 3.University of Wales SwanseaUnited Kingdom
  4. 4.CWI and Vrije Universiteit Amsterdam 

Bibliographic information

  • DOI https://doi.org/10.1007/11548133
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28620-2
  • Online ISBN 978-3-540-31876-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book