Script: A Communication Abstraction Mechanism and its Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nissim Francez' in GoogleThis author has not been identified. Look up 'Brent Hailpern' in GoogleThis author has not been identified. Look up 'Gadi Taubenfeld' in Google

runs on WebDSL