Ekkart Kindler, Rolf Walter. Message passing mutex. In Jörg Desel, editor, Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, pages 205-219, Springer, 1995. [doi]
Abstract is missing.