Abstract is missing.
- Incremental Software Construction with Refinement DiagramsRalph-Johan Back. 1 [doi]
- Recursive Program Schemes: Past, Present, and FutureLawrence S. Moss. 2 [doi]
- Monad-Based Logics for Computational EffectsTill Mossakowski. 3-4 [doi]
- State Space Representation for Verification of Open SystemsIrem Aktug, Dilian Gurov. 5-20 [doi]
- Data Movement Optimisation in Point-Free FormBrad Alexander, Andrew L. Wendelborn. 21-35 [doi]
- Measuring the Speed of Information Leakage in Mobile ProcessesBenjamin Aziz. 36-50 [doi]
- Formal IslandsEmilie Balland, Claude Kirchner, Pierre-Etienne Moreau. 51-65 [doi]
- Some Programming Languages for Logspace and PtimeGuillaume Bonfante. 66-80 [doi]
- Opaque Predicates Detection by Abstract InterpretationMila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi. 81-95 [doi]
- DO-Casl: An Observer-Based Casl Extension for Dynamic SpecificationsMatteo Dell Amico, Maura Cerioli. 96-110 [doi]
- Model Transformations Incorporating Multiple ViewsJohn Derrick, Heike Wehrheim. 111-126 [doi]
- Hyperfinite Approximations to Labeled Markov Transition SystemsErnst-Erich Doberkat. 127-141 [doi]
- State Space Reduction of Rewrite Theories Using Invisible TransitionsAzadeh Farzan, José Meseguer. 142-157 [doi]
- The Essence of MultitaskingWilliam L. Harrison. 158-172 [doi]
- The Substitution VanishesArmin Kühnemann, Andreas Maletti. 173-188 [doi]
- Decomposing InteractionsJuliana Küster Filipe. 189-203 [doi]
- Verification of Communication Protocols Using Abstract Interpretation of FIFO QueuesTristan Le Gall, Bertrand Jeannet, Thierry Jéron. 204-219 [doi]
- Assessing the Expressivity of Formal Specification LanguagesNatalia López, Manuel Núñez, Ismael Rodríguez. 220-234 [doi]
- Fork Algebras as a Sufficiently Rich Universal InstitutionCarlos López Pombo, Marcelo F. Frias. 235-247 [doi]
- Realizability Criteria for Compositional MSCArjan J. Mooij, Judi Romijn, Wieger Wesselink. 248-262 [doi]
- Quantales and Temporal LogicsBernhard Möller, Peter Höfner, Georg Struth. 263-277 [doi]
- Fractional SemanticsHärmel Nestra. 278-292 [doi]
- Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation LogicSusumu Nishimura. 293-307 [doi]
- Testing Semantics: Connecting Processes and Process LogicsDusko Pavlovic, Michael W. Mislove, James Worrell. 308-322 [doi]
- Tableaux for LatticesGeorg Struth. 323-337 [doi]
- Accelerated Modal Abstractions of Labelled Transition SystemsMiguel Valero Espada, Jaco van de Pol. 338-352 [doi]
- A Compositional Semantics of Plan Revision in Intelligent AgentsM. Birna van Riemsdijk, John-Jules Ch. Meyer. 353-367 [doi]
- ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class DiagramsManuel Clavel, Marina Egea. 368-373 [doi]
- A Computational Group Theoretic Symmetry Reduction Package for the Spin Model CheckerAlastair F. Donaldson, Alice Miller. 374-380 [doi]
- Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée FrameworkPaul-Christophe Varoutas, Philippe Rizand, Alain Livartowski. 381-387 [doi]