3. FoSSaCS 2000: Berlin, Germany (Part of ETAPS 2000)

@proceedings{DBLP:conf/fossacs/2000,
  editor    = {Jerzy Tiuryn},
  title     = {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},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1784},
  year      = {2000},
  isbn      = {3-540-67257-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Christel Baier, Mariëlle Stoelinga:
  Norm Functions for Probabilistic Bisimulations with Delays. 1-16
  Electronic Edition (Springer LINK) BibTeX
• Gilles Barthe, Femke van Raamsdonk:
  Constructor Subtyping in the Calculus of Inductive Constructions. 17-34
  Electronic Edition (Springer LINK) BibTeX
• Béatrice Bérard, Anne Labroue, Ph. Schnoebelen:
  Verifying Performance Equivalence for Timed Basic Parallel Processes. 35-47
  Electronic Edition (Springer LINK) BibTeX
• Didier Caucal:
  On Word Rewriting Systems Having a Rational Derivation. 48-62
  Electronic Edition (Springer LINK) BibTeX
• Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski:
  Proof Nets and Explicit Substitutions. 63-81
  Electronic Edition (Springer LINK) BibTeX
• Ferruccio Damiani:
  Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. 82-97
  Electronic Edition (Springer LINK) BibTeX
• Frank Drewes, Berthold Hoffmann, Detlef Plump:
  Hierarchical Graph Transformation. 98-113
  Electronic Edition (Springer LINK) BibTeX
• Kai Engelhardt, Ron van der Meyden, Yoram Moses:
  A Program Refinement Framework Supporting Reasoning about Knowledge and Time. 114-129
  Electronic Edition (Springer LINK) BibTeX
• Jo Erskine Hannay:
  A Higher-Order Simulation Relation for System F. 130-145
  Electronic Edition (Springer LINK) BibTeX
• Oltea Mihaela Herescu, Catuscia Palamidessi:
  Probabilistic Asynchronous pi-Calculus. 146-160
  Electronic Edition (Springer LINK) BibTeX
• Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki:
  Constructive Data Refinement in Typed Lambda Calculus. 161-176
  Electronic Edition (Springer LINK) BibTeX
• Jean-François Husson, Rémi Morin:
  On Recognizable Stable Trace Languages. 177-191
  Electronic Edition (Springer LINK) BibTeX
• François Laroussinie, Ph. Schnoebelen:
  The State Explosion Problem from Trace to Bisimulation Equivalence. 192-207
  Electronic Edition (Springer LINK) BibTeX
• Huimin Lin, Wang Yi:
  A Proof System for Timed Automata. 208-222
  Electronic Edition (Springer LINK) BibTeX
• Maria Emilia Maietti, Valeria de Paiva, Eike Ritter:
  Categorical Models for Intuitionistic and Linear Type Theory. 223-237
  Electronic Edition (Springer LINK) BibTeX
• Massimo Merro:
  Locality and Polyadicity in Asynchronous Name-Passing Calculi. 238-251
  Electronic Edition (Springer LINK) BibTeX
• Christophe Morvan:
  On Rational Graphs. 252-266
  Electronic Edition (Springer LINK) BibTeX
• Jorge Sousa Pinto:
  Sequential and Concurrent Abstract Machines for Interaction Nets. 267-282
  Electronic Edition (Springer LINK) BibTeX
• Paola Quaglia, David Walker:
  On Synchronous and Asynchronous Mobile Processes. 283-296
  Electronic Edition (Springer LINK) BibTeX
• Aleksy Schubert:
  Type Inference for First-Order Logic. 297-313
  Electronic Edition (Springer LINK) BibTeX
• Peter Thiemann:
  An Algebraic Foundation for Adaptive Programming. 314-328
  Electronic Edition (Springer LINK) BibTeX
• Ralf Treinen:
  Predicate Logic and Tree Automata with Tests. 329-343
  Electronic Edition (Springer LINK) BibTeX
• Yih-Kuen Tsay:
  Compositional Verification in Linear-Time Temporal Logic. 344-358
  Electronic Edition (Springer LINK) BibTeX
• Hongseok Yang, Uday S. Reddy:
  On the Semantics of Refinement Calculi. 359-374
  Electronic Edition (Springer LINK) BibTeX
• Pascal Zimmer:
  Subtyping and Typing Algorithms for Mobile Ambients. 375-390
  Electronic Edition (Springer LINK) BibTeX