Foundation of Software Science and Computation Structures

1. Front Matter

   Pages I-X

   PDF

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. On Word Rewriting Systems Having a Rational Derivation

   • Didier Caucal

   Pages 48-62

6. Proof Nets and Explicit Substitutions

   • Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski

   Pages 63-81

7. Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)

   • Ferruccio Damiani

   Pages 82-97

8. Hierarchical Graph Transformation

   • Frank Drewes, Berthold Hoffmann, Detlef Plump

   Pages 98-113

9. A Program Refinement Framework Supporting Reasoning about Knowledge and Time

   • Kai Engelhardt, Ron van der Meyden, Yoram Moses

   Pages 114-129

10. A Higher-Order Simulation Relation for System F

    • Jo Erskine Hannay

    Pages 130-145

11. Probabilistic Asynchronous π-Calculus

    • Oltea Mihaela Herescu, Catuscia Palamidessi

    Pages 146-160

12. Constructive Data Refinement in Typed Lambda Calculus

    • Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki

    Pages 161-176

13. On Recognizable Stable Trace Languages

    • Jean-François Husson, Rémi Morin

    Pages 177-191

14. The State Explosion Problem from Trace to Bisimulation Equivalence

    • François Laroussinie, Philippe Schnoebelen

    Pages 192-207

15. A Proof System for Timed Automata

    • Huimin Lin, Wang Yi

    Pages 208-222

16. Categorical Models for Intuitionistic and Linear Type Theory

    • Maria Emilia Maietti, Valeria de Paiva, Eike Ritter

    Pages 223-237

17. Locality and Polyadicity in Asynchronous Name-Passing Calculi

    • Massimo Merro

    Pages 238-251

18. On Rational Graphs

    • Christophe Morvan

    Pages 252-266

19. Sequential and Concurrent Abstract Machines for Interaction Nets

    • Jorge Sousa Pinto

    Pages 267-282

20. On Synchronous and Asynchronous Mobile Processes

    • Paola Quaglia, David Walker

    Pages 283-296

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.

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

• Institute of Informatics, Warsaw University, Warsaw, Poland

  Jerzy Tiuryn

Policies and ethics