Abstract is missing.
- Word Level Model Checking (Abstract)Edmund M. Clarke, Xudong Zhao. 1
- Code Problems on TracesVolker Diekert, Anca Muscholl. 2-17
- Models of DNA ComputationAlan Gibbons, Martyn Amos, David Hodgson. 18-36
- Theory and Practice of Action SemanticsPeter D. Mosses. 37-61
- Linear Time Temporal Logics over Mazurkiewicz TracesMadhavan Mukund, P. S. Thiagarajan. 62-92
- Partial Order Reduction: Model-Checking Using RepresentativesDoron Peled. 93-112
- Nonmonotonic Rule Systems: Foward Chaining, Constraints, and Complexity (Abstract)Jeffrey B. Remmel. 113
- Mind the Gap! Abstract Versus Concrete Models of SpecificationsDonald Sannella, Andrzej Tarlecki. 114-134
- A Sequent Calculus for Subtyping Polymorphic TypesJerzy Tiuryn. 135-155
- Kolmogorov Complexity: Recent Research in MoscowVladimir A. Uspensky. 156-166
- A Modal Logic for Data AnalysisPhilippe Balbiani. 167-179
- From Specifications to Programs: A Fork-Algebraic Approach to Bridge the GapGabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López. 180-191
- Logic of Predicates with Explicit SubstitutionsMarek A. Bednarczyk. 192-205
- On the Query Complexity of SetsRichard Beigel, William I. Gasarch, Martin Kummer, Timothy McNicholl, Frank Stephan. 206-217
- A Lambda Calculus of Incomplete ObjectsViviana Bono, Michele Bugliesi, Luigi Liquori. 218-229
- Bisimilarity Problems Requiring Exponential TimeMichele Boreale, Luca Trevisan. 230-241
- Linear Dynamic Kahn Networks Are DeterministicArie de Bruin, Shan-Hwei Nienhuys-Cheng. 242-254
- Shortest Path Problems with Time ConstraintsX. Cai, Ton Kloks, C. K. Wong. 255-266
- Parallel Alternating-Direction Access MachineBogdan S. Chlebus, Artur Czumaj, Leszek Gasieniec, Miroslaw Kowaluk, Wojciech Plandowski. 267-278
- Specification and Verification of Timed Lazy SystemsFlavio Corradini, Marco Pistore. 279-290
- A Class of Information Logics with a Decidable Validity ProblemStéphane Demri. 291-302
- On the Power of Nonconservative PRAMAnders Dessmark, Andrzej Lingas. 303-311
- Self-Similarity Viewed as a Local Property via Tile SetsBruno Durand. 312-323
- Simulation of Specification Statements in Hoare LogicKai Engelhardt, Willem P. de Roever. 324-335
- Equational Properties of Iteration in Algebraically Complete CategoriesZoltán Ésik, Anna Labella. 336-347
- On Unconditional TransferHenning Fernau. 348-359
- (poly(log log n), poly(log log n))-Restricted Verifiers are Unlikely to Exist for Languages in NPDimitris Fotakis, Paul G. Spirakis. 360-371
- Minimizing Congestion of Layouts for ATM Networks with Faulty LinksLeszek Gasieniec, Evangelos Kranakis, Danny Krizanc, Andrzej Pelc. 372-381
- Polynomial Automaticity, Context-Free Languages, and Fixed Points of Morphism (Extended Abstract)Ian Glaister, Jeffrey Shallit. 382-393
- Causal TestingUrsula Goltz, Heike Wehrheim. 394-406
- Construction of List Homomorphisms by Tupling and FusionZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. 407-418
- Probabilistic Metric Semantics for a Simple Language with RecursionMarta Z. Kwiatkowska, Gethin J. Norman. 419-430
- Dynamic GraphsAndrea Maggiolo-Schettini, Józef Winkowski. 431-442
- Equations on TreesSabrina Mantaci, Antonio Restivo. 443-456
- On the Equivalence Problem for E-Pattern LanguagesEnno Ohlebusch, Esko Ukkonen. 457-468
- Specifying and Verifying Parametric ProcessesWieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski. 469-481
- On Saturation with Flexible Function SymbolsRegimantas Pliuskevicius. 482-493
- Approximating Good Simultaneous Diophantine Approximations Is Almost NP-HardCarsten Rössner, Jean-Pierre Seifert. 494-505
- On the Conjugation of Standard MorphismsPatrice Séébold. 506-516
- A Semantic Matching Algorithm: Analysis and ImplementationHui Shi. 517-528
- Routing on Triangles, Tori and HoneycombsJop F. Sibeyn. 529-541
- A Uniform Analysis of Trie Structures that Store Prefixing-Keys with Application to Doubly-Chained Prefixing-TriesPilar de la Torre, David T. Kao. 542-553
- On Fairness in Terminating and Reactive ProgramsAxel Wabenhorst. 554-565
- Polynomial Time Samplable DistributionsTomoyuki Yamakami. 566-578
- From Static to Dynamic Abstract Data-TypesElena Zucca. 579-590