Nissim Francez, Brent Hailpern, Gadi Taubenfeld. Script: A Communication Abstraction Mechanism and its Verification. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984. Volume 13 of NATO ASI Series, pages 169-212, Springer, 1984. [doi]
Abstract is missing.