ISBN: 3-540-67257-5
TITLE: Foundation of Software Science and Computation Structures
AUTHOR: Tiuryn, Jerzy (Ed.)
TOC:

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