Paragon Specifications: Structure, Analysis and Implementation

Paul Anderson, David Bolton, Paul H. J. Kelly. Paragon Specifications: Structure, Analysis and Implementation. In Daniel Etiemble, Jean-Claude Syre, editors, PARLE 92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings. Volume 605 of Lecture Notes in Computer Science, pages 783-798, Springer, 1992.

Abstract

Abstract is missing.