Skip to main content
SpringerLink
Log in
Book cover

Foundation 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

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Jerzy Tiuryn

    1. Institute of Informatics, Warsaw University, Warsaw, Poland

    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 1784)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (25 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Institute of Informatics, Warsaw University, Warsaw, Poland

    Jerzy Tiuryn

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation