Foundations of Software Science and Computation Structures

First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

  • Editors
  • Maurice Nivat
Conference proceedings FoSSaCS 1998
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1378)

Table of contents

  1. Front Matter
  2. Michael Mislove
    Pages 1-19
  3. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    Pages 20-34
  4. Can Adam Albayrak, Thomas Noll
    Pages 35-47
  5. Roberto M. Amadio, Solange Coupet-Grimal
    Pages 48-62
  6. Paolo Baldan, Andrea Corradini, Ugo Montanari
    Pages 63-80
  7. Danièle Beauquier
    Pages 81-94
  8. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Pages 95-109
  9. Michael A. Bukatin, Svetlana Yu. Shorina
    Pages 125-139
  10. Luca Cardelli, Andrew D. Gordon
    Pages 140-155
  11. A. Corradini, F. Gadducci
    Pages 156-171
  12. Renate Klempien-Hinrichs
    Pages 189-202
  13. Anca Muscholl, Doron Peled, Zhendong Su
    Pages 226-242
  14. Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin
    Pages 258-272
  15. J. Rathke
    Pages 273-287

About these proceedings

Introduction

This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.

Keywords

Analysis Automat automata automata theory formal language formal specification semantics term rewriting

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0053537
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64300-5
  • Online ISBN 978-3-540-69720-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book