Foundations of Software Science and Computation Structures

Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

  • Jerzy Tiuryn
Conference proceedings FoSSaCS 2000

DOI: 10.1007/3-540-46432-8

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

Table of contents (25 papers)

  1. Front Matter
    Pages I-X
  2. Norm Functions for Probabilistic Bisimulations with Delays
    Christel Baier, Mariëlle Stoelinga
    Pages 1-16
  3. Constructor Subtyping in the Calculus of Inductive Constructions
    Gilles Barthe, Femke van Raamsdonk
    Pages 17-34
  4. Verifying Performance Equivalence for Timed Basic Parallel Processes
    Beatrice Bérard, Anne Labroue, Philippe Schnoebelen
    Pages 35-47
  5. Proof Nets and Explicit Substitutions
    Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
    Pages 63-81
  6. Hierarchical Graph Transformation
    Frank Drewes, Berthold Hoffmann, Detlef Plump
    Pages 98-113
  7. A Program Refinement Framework Supporting Reasoning about Knowledge and Time
    Kai Engelhardt, Ron van der Meyden, Yoram Moses
    Pages 114-129
  8. A Higher-Order Simulation Relation for System F
    Jo Erskine Hannay
    Pages 130-145
  9. Probabilistic Asynchronous π-Calculus
    Oltea Mihaela Herescu, Catuscia Palamidessi
    Pages 146-160
  10. Constructive Data Refinement in Typed Lambda Calculus
    Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
    Pages 161-176
  11. On Recognizable Stable Trace Languages
    Jean-François Husson, Rémi Morin
    Pages 177-191
  12. The State Explosion Problem from Trace to Bisimulation Equivalence
    François Laroussinie, Philippe Schnoebelen
    Pages 192-207
  13. A Proof System for Timed Automata
    Huimin Lin, Wang Yi
    Pages 208-222
  14. Categorical Models for Intuitionistic and Linear Type Theory
    Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
    Pages 223-237
  15. On Rational Graphs
    Christophe Morvan
    Pages 252-266
  16. On Synchronous and Asynchronous Mobile Processes
    Paola Quaglia, David Walker
    Pages 283-296

About these proceedings

Introduction

ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a loose confederation in which each event retains its own identity, with a separate program committee and independent proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for \u- fying" talks on topics of interest to the whole range of ETAPS attendees.

Keywords

Ada Software engineering algorithm algorithms automata formal language formal verification lambda calculus logic program analysis program transformation programming semantics system specification verification

Editors and affiliations

  • Jerzy Tiuryn
    • 1
  1. 1.Institute of InformaticsWarsaw UniversityWarsawPoland

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67257-9
  • Online ISBN 978-3-540-46432-7
  • Series Print ISSN 0302-9743