Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

  • Andrea Corradini
  • Ugo Montanari
Conference proceedings WADT 2008
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5486)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Michael Altenhofen, Egon Börger
      Pages 1-17
    2. Luca Cardelli
      Pages 18-20
    3. Allan Clark, Stephen Gilmore, Mirco Tribastone
      Pages 21-36
  3. Contributed Papers

    1. Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
      Pages 37-55
    2. Stefano Bistarelli, Francesco Santini
      Pages 56-70
    3. Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
      Pages 71-87
    4. Andrea Corradini, Luciana Foss, Leila Ribeiro
      Pages 102-118
    5. Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
      Pages 119-134
    6. Chucky Ellison, Traian Florin Şerbănuţă, Grigore Roşu
      Pages 135-151
    7. Karl Gmeiner, Bernhard Gramlich
      Pages 166-186
    8. Mark Hills, Grigore Roşu
      Pages 187-205
    9. Temesghen Kahsai, Markus Roggenbach
      Pages 206-220
    10. Christian Koehler, Farhad Arbab, Erik de Vink
      Pages 221-235
    11. Barbara Kordy
      Pages 236-250
    12. Till Mossakowski, Andrzej Tarlecki
      Pages 266-289
    13. Andrei Popescu, Grigore Roşu
      Pages 290-307

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008.

The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop.

The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

Keywords

algebra distributed specifications graph theory linear time minimum spanning tree molecular automata multisets rewriting logic rewriting systems system transition systems typing inference

Editors and affiliations

  • Andrea Corradini
    • 1
  • Ugo Montanari
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-03429-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03428-2
  • Online ISBN 978-3-642-03429-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349