Science of Computer Programming, Volume 19

Volume 19, Number 1, October 1992

• Edgar Knapp: Derivation of Concurrent Programs: Two Examples. 1-23
• Guy-René Perrin, Jean-Pierre Finance: Communication Relations: A Paradigm for Parallel Program Design. 25-59
• Debasish Banerjee: A Technique for Solving a Class of Puadratic FP Equations. 61-85

Volume 19, Number 2, November 1992

• Gérard Berry, Georges Gonthier: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. 87-152
• Jan H. Jongejan: Correctness of Transformations on Register Transfers. 153-169
• Wim H. Hesselink: LR-Parsing Derived. 171-196

Volume 19, Number 3, December 1992

• James H. Anderson, Bojan Groselj: Beyond Atomic Registers: Bounded Wait-Free Implementations of Nontrivial Objects. 197-237
• Fairouz Kamareddine: A System at the Cross-Roads of Functional and Logic Programming. 239-279
• Roberto Barbuti, Roberto Giacobazzi: A Bottom-Up Polymorphic Type Inference in Logic Programming. 281-313