Abstract is missing.
- Security Protocols and SpecificationsMartín Abadi. 1-13
- An Automata-Theoretic Approach to Interprocedural Data-Flow AnalysisJavier Esparza, Jens Knoop. 14-30
- Reasoning About Concurrent Systems Using TypesDavide Sangiorgi. 31-40
- Testing Hennessy-Milner Logic with RecursionLuca Aceto, Anna Ingólfsdóttir. 41-55
- A Strong Logic Programming View for Static Embedded ImplicationsR. Arruabarrena, Paqui Lucio, Marisa Navarro. 56-72
- Unfolding and Event Structure Semantics for Graph GrammarsPaolo Baldan, Andrea Corradini, Ugo Montanari. 73-89
- Expanding the CubeGilles Barthe. 90-103
- An Algebraic Characterization of Typability in ML with SubtypingMarcin Benke. 104-119
- Static Analysis of Processes for No and Read-Up nad No Write-DownChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson. 120-134
- A WP-calculus for OOFrank S. de Boer. 135-149
- The Recognizability Problem for Tree Automata with Comparisons between BrothersBruno Bogaert, Franck Seynhaeve, Sophie Tison. 150-164
- A Theory of May Testing for Asynchronous LanguagesMichele Boreale, Rocco De Nicola, Rosario Pugliese. 165-179
- A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and TreesEvgeny Dantsin, Andrei Voronkov. 180-196
- Categorical Models of Explicit SubstitutionsNeil Ghani, Valeria de Paiva, Eike Ritter. 197-211
- Equational Properties of Mobile AmbientsAndrew D. Gordon, Luca Cardelli. 212-226
- Model Checking Logics for Communicating Sequential AgentsMichaela Huhn, Peter Niebert, Frank Wallner. 227-242
- A Complete Coinductive Logical System for Bisimulation Equivalence on Circular ObjectsMarina Lenisa. 243-257
- String Languages Generated by Total Deterministic Macro Tree TransducersSebastian Maneth. 258-272
- Matching Specifications for Message Sequence ChartsAnca Muscholl. 273-287
- Probabilistic Temporal Logics via the Modal Mu-CalculusMurali Narasimha, Rance Cleaveland, S. Purushothaman Iyer. 288-305
- A pi-calculus Process Semantics of Concurrent Idealised ALGOLChristine Röckl, Davide Sangiorgi. 306-321