External Links

Journal: Science of Computer Programming

Volume 5, Issue 3

233 -- 264Jeanine Souquières, Jean-Pierre Finance. Description and Improvement of Iterative Program Transformations
265 -- 276Alain J. Martin. Distributed Mutual Exclusion on a Ring of Processes
277 -- 307Abha Moitra. Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs
309 -- 316Martin Rem. Small Programming Exercises 7

Volume 5, Issue 2

111 -- 142Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko. Showing Programs on a Screen
143 -- 169Lawrence C. Paulson. Verifying the Unification Algorithm in LCF
171 -- 199Jan A. Bergstra, J. V. Tucker. Top-Down Design and the Algebra of Communicating Processes
201 -- 218Jean-Pierre Finance, Jeanine Souquières. A method and a language for constructing iterative programs

Volume 5, Issue 1

1 -- 36C. J. Kooken. Algebraic Specification and Verification of Communicating Protocols
37 -- 58Douglas R. Smith. The Design of Divide and Conquer Algorithms
59 -- 81Andrzej Tarlecki. A Language of Specified Programs
83 -- 96Fahimeh Jalili. A General Incremental Evaluator for Attribute Grammars
97 -- 106Martin Rem. Small Programming Exercises 6
runs on