Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Maurice Nivat
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FoSSaCS 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Generalizing domain theory

    • Michael Mislove
    Pages 1-19

  3. A cook's tour of equational axiomatizations for prefix iteration

    • Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
    Pages 20-34

  4. The WHILE hierarchy of program schemes is infinite

    • Can Adam Albayrak, Thomas Noll
    Pages 35-47

  5. Analysis of a guard condition in type theory

    • Roberto M. Amadio, Solange Coupet-Grimal
    Pages 48-62

  6. An event structure semantics for P/T contextual nets: Asymmetric event structures

    • Paolo Baldan, Andrea Corradini, Ugo Montanari
    Pages 63-80

  7. Pumping Lemmas for timed automata

    • Danièle Beauquier
    Pages 81-94

  8. Asynchronous Observations of Processes

    • Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Pages 95-109

  9. Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling

    • Anne Bottreau, Yves Métivier
    Pages 110-124

  10. Partial metrics and co-continuous valuations

    • Michael A. Bukatin, Svetlana Yu. Shorina
    Pages 125-139

  11. Mobile ambients

    • Luca Cardelli, Andrew D. Gordon
    Pages 140-155

  12. Rational term rewriting

    • A. Corradini, F. Gadducci
    Pages 156-171

  13. The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations

    • Reinhold Heckmann
    Pages 172-188

  14. Net refinement by pullback rewriting

    • Renate Klempien-Hinrichs
    Pages 189-202

  15. On piecewise testable, starfree, and recognizable picture languages

    • Oliver Matz
    Pages 203-210

  16. Functor categories and two-level languages

    • E. Moggi
    Pages 211-225

  17. Deciding properties for message sequence charts

    • Anca Muscholl, Doron Peled, Zhendong Su
    Pages 226-242

  18. The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages

    • Gundula Niemann, Friedrich Otto
    Pages 243-257

  19. Deterministic rational transducers and random sequences

    • Sylvain Porrot, Max Dauchet, Bruno Durand, Nikolai K. Vereshchagin
    Pages 258-272

  20. Resource based models for asynchrony

    • J. Rathke
    Pages 273-287
Back to top

Other volumes

  1. Foundations of Software Science and Computation Structures

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation