Abstract is missing.
- The Algorithmics of Solitaire-Like GamesRoland Carl Backhouse, Wei Chen, João F. Ferreira. 1-18 [doi]
- Compositionality of Secure Information FlowCatuscia Palamidessi. 19 [doi]
- Process Algebras for Collective DynamicsJane Hillston. 20-21 [doi]
- On Automated Program Construction and VerificationRudolf Berghammer, Georg Struth. 22-41 [doi]
- The Logic of Large EnoughEerke A. Boiten, Dan Grundy. 42-57 [doi]
- Dependently Typed GrammarsKasper Brink, Stefan Holdermans, Andres Löh. 58-79 [doi]
- Abstraction of Object Graphs in Program VerificationYifeng Chen, Jeff W. Sanders. 80-99 [doi]
- Subtyping, DeclarativelyNils Anders Danielsson, Thorsten Altenkirch. 100-118 [doi]
- Compositional Action System Derivation Using Enforced PropertiesBrijesh Dongol, Ian J. Hayes. 119-139 [doi]
- Designing an Algorithmic Proof of the Two-Squares TheoremJoão F. Ferreira. 140-156 [doi]
- Partial, Total and General CorrectnessWalter Guttmann. 157-177 [doi]
- Unifying Theories of Programming That Distinguish Nontermination and AbortIan J. Hayes, Steve Dunne, Larissa Meinicke. 178-194 [doi]
- Adjoint Folds and UnfoldsRalf Hinze. 195-228 [doi]
- An Abstract Machine for the Old Value RetrievalPiotr Kosiuczenko. 229-247 [doi]
- A Tracking Semantics for CSPMarisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. 248-270 [doi]
- Matrices as Arrows!Hugo Daniel Macedo, José Nuno Oliveira. 271-287 [doi]
- Lucy-n: a n-Synchronous Extension of LustreLouis Mandel, Florence Plateau, Marc Pouzet. 288-309 [doi]
- Sampling, Splitting and Merging in Coinductive Stream CalculusMilad Niqui, Jan J. M. M. Rutten. 310-330 [doi]
- Generic Point-free LensesHugo Pacheco, Alcino Cunha. 331-352 [doi]
- Formal Derivation of Concurrent Garbage CollectorsDusko Pavlovic, Peter Pepper, Douglas R. Smith. 353-376 [doi]
- Temporal Logic Verification of Lock-FreedomBogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif. 377-396 [doi]
- Gradual RefinementMeng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. 397-425 [doi]