ask others

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

> Home > Conferences and Workshops > FoSSaCS
> Home > Conferences and Workshops > ETAPS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/2000
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/2000
Jerzy Tiuryn:
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. Lecture Notes in Computer Science 1784, Springer 2000, ISBN 3-540-67257-5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/BaierS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/BaierS00
Christel Baier, Mariëlle Stoelinga:
Norm Functions for Probabilistic Bisimulations with Delays. 1-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/BartheR00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/BartheR00
Gilles Barthe, Femke van Raamsdonk:
Constructor Subtyping in the Calculus of Inductive Constructions. 17-34
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/BerardLS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/BerardLS00
Béatrice Bérard, Anne Labroue, Philippe Schnoebelen:
Verifying Performance Equivalence for Timed Basic Parallel Processes. 35-47
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Caucal00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Caucal00
Didier Caucal:
On Word Rewriting Systems Having a Rational Derivation. 48-62
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/CosmoKP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/CosmoKP00
Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski:
Proof Nets and Explicit Substitutions. 63-81
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Damiani00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Damiani00
Ferruccio Damiani:
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. 82-97
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/DrewesHP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/DrewesHP00
Frank Drewes, Berthold Hoffmann, Detlef Plump:
Hierarchical Graph Transformation. 98-113
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/EngelhardtMM00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/EngelhardtMM00
Kai Engelhardt, Ron van der Meyden, Yoram Moses:
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. 114-129
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Hannay00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Hannay00
Jo Erskine Hannay:
A Higher-Order Simulation Relation for System F. 130-145
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/HerescuP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/HerescuP00
Oltea Mihaela Herescu, Catuscia Palamidessi:
Probabilistic Asynchronous pi-Calculus. 146-160
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/HonsellLST00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/HonsellLST00
Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki:
Constructive Data Refinement in Typed Lambda Calculus. 161-176
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/HussonM00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/HussonM00
Jean-François Husson, Rémi Morin:
On Recognizable Stable Trace Languages. 177-191
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/LaroussinieS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/LaroussinieS00
François Laroussinie, Philippe Schnoebelen:
The State Explosion Problem from Trace to Bisimulation Equivalence. 192-207
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/LinY00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/LinY00
Huimin Lin, Wang Yi:
A Proof System for Timed Automata. 208-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/MaiettiPR00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/MaiettiPR00
Maria Emilia Maietti, Valeria de Paiva, Eike Ritter:
Categorical Models for Intuitionistic and Linear Type Theory. 223-237
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Merro00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Merro00
Massimo Merro:
Locality and Polyadicity in Asynchronous Name-Passing Calculi. 238-251
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Morvan00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Morvan00
Christophe Morvan:
On Rational Graphs. 252-266
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Pinto00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Pinto00
Jorge Sousa Pinto:
Sequential and Concurrent Abstract Machines for Interaction Nets. 267-282
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/QuagliaW00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/QuagliaW00
Paola Quaglia, David Walker:
On Synchronous and Asynchronous Mobile Processes. 283-296
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Schubert00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Schubert00
Aleksy Schubert:
Type Inference for First-Order Logic. 297-313
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Thiemann00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Thiemann00
Peter Thiemann:
An Algebraic Foundation for Adaptive Programming. 314-328
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Treinen00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Treinen00
Ralf Treinen:
Predicate Logic and Tree Automata with Tests. 329-343
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Tsay00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Tsay00
Yih-Kuen Tsay:
Compositional Verification in Linear-Time Temporal Logic. 344-358
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/YangR00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/YangR00
Hongseok Yang, Uday S. Reddy:
On the Semantics of Refinement Calculi. 359-374
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/Zimmer00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/Zimmer00
Pascal Zimmer:
Subtyping and Typing Algorithms for Mobile Ambients. 375-390

maintained by

at