Abstract is missing.
- Full Abstraction for Series-Parallel PomsetsLuca Aceto. 1-25
- On Causality Observed Incrementally, FinallyGian Luigi Ferrari. 26-41
- On the Domain of Traces and Sequential CompositionMarta Z. Kwiatkowska. 42-56
- Compilation of Pattern Matching with Associative-Commutative FunctionsEmmanuel Kounalis, Denis Lugiez. 57-73
- Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision PropertiesAnne-Cécile Caron. 74-89
- Algebraic Graph Rewriting Using a Single PushoutP. M. van den Broek. 90-102
- Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary InstitutionHubert Baumeister. 103-120
- Non-Strict Don t Care Algebras and SpecificationsEgidio Astesiano, Maura Cerioli. 121-142
- Program Specification and Data Refinement in Type TheoryZhaohui Luo. 143-168
- Static Analysis of Linear Congruence Equalities among Variables of a ProgramPhilippe Granger. 169-192
- Simple Solutions for Approximate Tree Matching ProblemsFabrizio Luccio, Linda Pagli. 193-201
- The Tree Inclusion ProblemPekka Kilpeläinen, Heikki Mannila. 202-214
- Introducing a Calculus of TreesStefano Kasangian, Sebastiano Vigna. 215-240
- Domains in a Realizability FrameworkRoberto M. Amadio. 241-263
- Iteration Algebras (Extended Abstract)Stephen L. Bloom, Zoltán Ésik. 264-274
- Logic Programming as Hypergraph RewritingAndrea Corradini, Francesca Rossi, Francesco Parisi-Presicce. 275-295
- A Fully Abstract Model for Concurrent Constraint ProgrammingFrank S. de Boer, Catuscia Palamidessi. 296-319
- A Solved Form Algorithm for Ask and Tell Herbrand ConstraintsMaurizio Gabbrielli, Giorgio Levi. 320-337
- A Calculus of Broadcasting SystemsK. V. S. Prasad. 338-358
- Object-Based Concurrency: A Process Calculus AnalysisElie Najm, Jean-Bernard Stefani. 359-380
- On the Complexity of Equation Solving in Process AlgebraBengt Jonsson, Kim Guldstrand Larsen. 381-396
- Comparative Semantics for a Real-Time Programming Language with IntegrationFranck van Breugel. 397-411
- A Complete Proof System for Timed ObservationsYolanda Ortega-Mallén, David de Frutos-Escrig. 412-440
- Type Inference with InequalitiesMichael I. Schwartzbach. 441-455