John S. Gourlay, William C. Rounds, Richard Statman. On Properties Preserved by Contraction of Concurrent Systems. In Gilles Kahn, editor, Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Volume 70 of Lecture Notes in Computer Science, pages 51-65, Springer, 1979.
Abstract is missing.