Table of contents

  1. Front Matter
  2. Invited Talks

  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