Foundations of Software Science and Computation Structures

6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

  • Andrew D. Gordon
Conference proceedings FoSSaCS 2003

DOI: 10.1007/3-540-36576-1

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

Table of contents

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

    1. Samson Abramsky, Radha Jagadeesan
      Pages 1-22
  3. Contributed Papers

    1. Michael Abbott, Thorsten Altenkirch, Neil Ghani
      Pages 23-38
    2. Parosh Aziz Abdulla, Alexander Rabinovich
      Pages 39-53
    3. Andreas Abel, Ralph Matthes, Tarmo Uustalu
      Pages 54-69
    4. André Arnold, Luigi Santocanale
      Pages 70-86
    5. Amir Pnueli, Lenore Zuck
      Pages 87-102
    6. Martin Berger, Kohei Honda, Nobuko Yoshida
      Pages 103-119
    7. Nathalie Bertrand, Philippe Schnoebelen
      Pages 120-135
    8. Bruno Blanchet, Andreas Podelski
      Pages 136-152
    9. Iovka Boneva, Jean-Marc Talbot
      Pages 169-184
    10. Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
      Pages 185-199
    11. Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell
      Pages 200-215
    12. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
      Pages 216-230
    13. Ernst-Erich Doberkat
      Pages 233-249
    14. Joshua Dunfield, Frank Pfenning
      Pages 250-266
    15. Wan Fokkink, Jun Pang
      Pages 267-281
    16. Matthew Hennessy, Massimo Merro, Julian Rathke
      Pages 282-298

About these proceedings

Keywords

Automat automata computational structures formal methods formal verification logical foundations mathematical foundations model checking program analysis program logics programming theory software engineering software science

Editors and affiliations

  • Andrew D. Gordon
    • 1
  1. 1.Microsoft ResearchCambridgeUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00897-2
  • Online ISBN 978-3-540-36576-1
  • Series Print ISSN 0302-9743