Roy H. Campbell, A. Nico Habermann. The specification of process synchronization by path expressions. In Erol Gelenbe, Claude Kaiser, editors, Operating Systems, Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974. Volume 16 of Lecture Notes in Computer Science, pages 89-102, Springer, 1974.
Abstract is missing.