Foundations of Software Science and Computation Structures

4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

  • Furio Honsell
  • Marino Miculan
Conference proceedings FoSSaCS 2001

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Paper

    1. Gordon Plotkin, John Power
      Pages 1-24
  3. Contributed Papers

    1. Martín Abadi, Bruno Blanchet
      Pages 25-41
    2. Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
      Pages 42-56
    3. Gilles Barthe, Olivier Pons
      Pages 57-71
    4. Michel Bidoit, Rolf Hennicker, Alexander Kurz
      Pages 72-87
    5. Maria Grazia Buscemi, Vladimiro Sassone
      Pages 104-120
    6. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
      Pages 121-136
    7. Cristiano Calcagno, Peter W. O’Hearn
      Pages 137-151
    8. Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
      Pages 152-167
    9. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
      Pages 168-183
    10. Irène Durand, Aart Middeldorp
      Pages 199-213
    11. Valérie Gouranton, Pierre Réty, Helmut Seidl
      Pages 214-229
    12. Masahito Hasegawa, Yoshihiko Kakutani
      Pages 246-260
    13. Valerie King, Orna Kupferman, Moshe Y. Vardi
      Pages 276-286
    14. Manuel Koch, Luigi Vincenzo Mancini, Francesco Parisi-Presicce
      Pages 287-302
    15. Sava Krstić, John Launchbury, Duško Pavlović
      Pages 303-317
    16. François Laroussinie, Nicolas Markey, Philippe Schnoebelen
      Pages 318-331
    17. Tobias Nipkow
      Pages 347-363
  4. Tool Presentation

    1. Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy
      Pages 409-412
  5. Back Matter
    Pages 413-413

About these proceedings


ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.


Software engineering automata complexity complexity theory computational structures formal methods formal verification logic mathematical foundations model checking petri net programming programming language programming theory verification

Editors and affiliations

  • Furio Honsell
    • 1
  • Marino Miculan
    • 1
  1. 1.Dipartimento di Matematica e InformaticaUniversità di UdineUdineItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41864-1
  • Online ISBN 978-3-540-45315-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment