Mannes Poel, Job Zwiers. Layering Techniques for Development of Parallel Systems. In Gregor von Bochmann, David K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Volume 663 of Lecture Notes in Computer Science, pages 16-29, Springer, 1992.
Abstract is missing.