Ralph-Johan Back. Refinement of Parallel and Reactive Programs. In Manfred Broy, editor, Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. Volume 118 of NATO ASI Series, pages 73-92, Springer, 1992. [doi]
Abstract is missing.