External Links

Journal: Science of Computer Programming

Volume 2, Issue 3

155 -- 173Tzilla Elrad, Nissim Francez. Decomposition of Distributed Programs into Communication-Closed Layers
175 -- 206Leslie Lamport. An Assertional Correctness Proof of a Distributed Algorithm
207 -- 214David Gries. A Note on a Standard Strategy for Developing Loop Invariants and Loops
215 -- 240Grigori Mints, Enn Tyugu. Justifications of the Structural Synthesis of Programs
241 -- 266E. Allen Emerson, Edmund M. Clarke. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons

Volume 2, Issue 2

91 -- 131Philip E. London, Martin S. Feather. Implementing Specification Freedoms
133 -- 141Martin Rem, Yong-il Choo. A Fixed-Space Program of Linear Output Complexity for the Problem of the Three Vessels
143 -- 152Jayadev Misra, David Gries. Finding Repeated Elements

Volume 2, Issue 1

1 -- 18Christian Lengauer, Eric C. R. Hehner. A Methodology for Programming with Concurrency: An Informal Presentation
19 -- 52Christian Lengauer. A Methodology for Programming with Concurrency: The Formalism
53 -- 68John V. Guttag, James J. Horning, Jeannette M. Wing. Some Notes on Putting Formal Specifications to Productive Use
69 -- 81Stephan Heilbrunner, Werner Pohlmann. A Technique for Recursion Removal Based on String Homomorphisms
runs on