Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

  • Wolfgang Thomas
Conference proceedings FoSSaCS 1999

DOI: 10.1007/3-540-49019-1

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Martín Abadi
    Pages 1-13
  3. Davide Sangiorgi
    Pages 31-40
  4. Luca Aceto, Anna Ingólfsdóttir
    Pages 41-55
  5. R. Arruabarrena, P. Lucio, M. Navarro
    Pages 56-72
  6. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Pages 73-89
  7. Gilles Barthe
    Pages 90-104
  8. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
    Pages 120-134
  9. F. S de Boer
    Pages 135-140
  10. Bruno Bogaert, Franck Seynhaeve, Sophie Tison
    Pages 150-164
  11. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Pages 165-179
  12. Neil Ghani, Valeria de Paiva, Eike Ritter
    Pages 197-211
  13. Andrew D. Gordon, Luca Cardelli
    Pages 212-226
  14. Michaela Huhn, Peter Niebert, Frank Wallner
    Pages 227-242

About these proceedings

Keywords

ALGOL Bisimulation Computational Structures Program Semantics Program Specification Programming Theory Simulation Software Engineering algorithm algorithms automata model checking programming semantics verification

Editors and affiliations

  • Wolfgang Thomas
    • 1
  1. 1.RWTH Aachen, Lehrstuhl für Informatik VIIAachenGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65719-4
  • Online ISBN 978-3-540-49019-7
  • Series Print ISSN 0302-9743