Papers from WG 2.3 Meeting at St. Pierre-de-Chartreuse, December 1976. Research Report RC 6287, December 1976, Process Structuring, Synchronization, and Recovery using Atomic Actions by D.B. Lomet, Thomas J. Watson Research Centre, Yorktown Heights, New York. Paper: Communicating Sequential Processes by C.A.R. Hoare, Department of Computer Science, The Queen's University Belfast, December 1976. Paper: Concepts of NET Theory by C.A. Petri, GMD, Birlinghoven, Bonn. Paper: Iterative Methods for the Generation of Successful Programs by Michel Setoff, MBLE Research Lab., Brussels, December 1976. Paper: An Experiment in Modular Program Design by J.L Cheval, University of Grenoble. Reasoning about Arrays by John C. Reynolds, Syracuse University. Paper: Program Transforms as a Programming Tool by Jacques Arsac, University Pierre et Marie Curie, Paris. Folder: WG 2.3 Papers New Paltz, September 1982. Paper: Opposites are the same by D.T. Ross, February 1977. Paper: TYPES by George H. Mealy, Harvard University, Cambridge, Massachusetts. Paper: Functional Geometry by Peter Henderson, Oxford University . Paper: Some Sample Traits by Jim Horning, CSL Larch Project, September 1982. Paper: Larch Shared Language Reference Manual by John Guttag, September 1982. Paper: Predicative Programming, Part I and Part II, C.A.R. Hoare, Oxford University and E.C.R. Hehner, University of Toronto, August 1982.