Advertisement

© 1998

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
    PDF
  2. Generalizing domain theory
    Michael Mislove
    Pages 1-19
    PDF
  3. A cook's tour of equational axiomatizations for prefix iteration
    Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    Pages 20-34
    PDF
  4. The WHILE hierarchy of program schemes is infinite
    Can Adam Albayrak, Thomas Noll
    Pages 35-47
    PDF
  5. Analysis of a guard condition in type theory
    Roberto M. Amadio, Solange Coupet-Grimal
    Pages 48-62
    PDF
  6. An event structure semantics for P/T contextual nets: Asymmetric event structures
    Paolo Baldan, Andrea Corradini, Ugo Montanari
    Pages 63-80
    PDF
  7. Pumping Lemmas for timed automata
    Danièle Beauquier
    Pages 81-94
    PDF
  8. Asynchronous Observations of Processes
    Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Pages 95-109
    PDF
  9. Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling
    Anne Bottreau, Yves Métivier
    Pages 110-124
    PDF
  10. Partial metrics and co-continuous valuations
    Michael A. Bukatin, Svetlana Yu. Shorina
    Pages 125-139
    PDF
  11. Mobile ambients
    Luca Cardelli, Andrew D. Gordon
    Pages 140-155
    PDF
  12. Rational term rewriting
    A. Corradini, F. Gadducci
    Pages 156-171
    PDF
  13. The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations
    Reinhold Heckmann
    Pages 172-188
    PDF
  14. Net refinement by pullback rewriting
    Renate Klempien-Hinrichs
    Pages 189-202
    PDF
  15. On piecewise testable, starfree, and recognizable picture languages
    Oliver Matz
    Pages 203-210
    PDF
  16. Functor categories and two-level languages
    E. Moggi
    Pages 211-225
    PDF
  17. Deciding properties for message sequence charts
    Anca Muscholl, Doron Peled, Zhendong Su
    Pages 226-242
    PDF
  18. The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
    Gundula Niemann, Friedrich Otto
    Pages 243-257
    PDF
  19. Deterministic rational transducers and random sequences
    Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin
    Pages 258-272
    PDF
  20. Resource based models for asynchrony
    J. Rathke
    Pages 273-287
    PDF

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

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace