Susanne Graf, Joseph Sifakis. A Logic for the Specification and Proof of Controllable Processes of CCS. 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 369-395, Springer, 1984. [doi]
Abstract is missing.