Abstract is missing.
- From Specifications to Code in CASLDavid Aspinall, Donald Sannella. 1-14 [doi]
- Automata and Games for SynthesisIgor Walukiewicz. 15-20 [doi]
- Pragmatics of Modular SOSPeter D. Mosses. 21-40 [doi]
- Tool-Assisted Specification and Verification of the JavaCard PlatformGilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa. 41-59 [doi]
- Higher-Order Quantification and Proof SearchDale Miller. 60-74 [doi]
- Algebraic Support for Service-Oriented ArchitectureJosé Luiz Fiadeiro. 75-82 [doi]
- Fully Automatic Adaptation of Software Components Based on Semantic SpecificationsChristian Haack, Brian Howard, Allen Stoughton, J. B. Wells. 83-98 [doi]
- HASCASL: Towards Integrated Specification and Development of Functional ProgramsLutz Schröder, Till Mossakowski. 99-116 [doi]
- Removing Redundant Arguments of FunctionsMaría Alpuente, Santiago Escobar, Salvador Lucas. 117-131 [doi]
- A Class of Decidable Parametric Hybrid SystemsMichaël Adélaïde, Olivier Roux. 132-146 [doi]
- Vacuity Checking in the Modal Mu-CalculusYifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka. 147-162 [doi]
- On Solving Temporal Logic QueriesSamuel Hornus, Ph. Schnoebelen. 163-177 [doi]
- Modelling Concurrent Behaviours by Commutativity and Weak Causality RelationsGuangyuan Guo, Ryszard Janicki. 178-191 [doi]
- An Algebra of Non-safe Petri BoxesRaymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau. 192-207 [doi]
- Refusal Simulation and Interactive GamesIrek Ulidowski. 208-222 [doi]
- A Theory of May Testing for Asynchronous Calculi with Locality and No Name MatchingPrasannaa Thati, Reza Ziaei, Gul Agha. 223-238 [doi]
- Equational Axioms for Probabilistic BisimilarityLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir. 239-253 [doi]
- Bisimulation by UnificationPaolo Baldan, Andrea Bracciali, Roberto Bruni. 254-270 [doi]
- Transforming Processes to Check and Ensure Information Flow SecurityAnnalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi. 271-286 [doi]
- On Bisimulations for the Spi CalculusJohannes Borgström, Uwe Nestmann. 287-303 [doi]
- Specifying and Verifying a Decimal Representation in Java for Smart CardsCees-Bart Breunesse, Bart Jacobs, Joachim van den Berg. 304-318 [doi]
- A Method for Secure Smartcard ApplicationsDominik Haneberg, Wolfgang Reif, Kurt Stenzel. 319-333 [doi]
- Extending JML Specifications with Temporal LogicKerry Trentelman, Marieke Huisman. 334-348 [doi]
- Algebraic Dynamic ProgrammingRobert Giegerich, Carsten Meyer. 349-364 [doi]
- Analyzing String Buffers in CAxel Simon, Andy King. 365-379 [doi]
- A Foundation of Escape AnalysisPatricia M. Hill, Fausto Spoto. 380-395 [doi]
- A Framework for Order-Sorted AlgebraJohn G. Stell. 396-410 [doi]
- Guarded Transitions in Evolving SpecificationsDusko Pavlovic, Douglas R. Smith. 411-425 [doi]
- Revisiting the Categorical Approach to SystemsAntónia Lopes, José Luiz Fiadeiro. 426-440 [doi]
- Proof Transformations for Evolutionary Formal Software DevelopmentAxel Schairer, Dieter Hutter. 441-456 [doi]
- Sharing Objects by Read-Only ReferencesMats Skoglund. 457-472 [doi]
- Class-Based versus Object-Based: A Denotational ComparisonBernhard Reus. 473-488 [doi]
- BRAIN : Backward Reachability Analysis with IntegersTatiana Rybina, Andrei Voronkov. 489-494 [doi]
- The Development Graph Manager MAYASerge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer. 495-501 [doi]