Specification and Synthesis of Communicating Processes using an Extended Temporal Logic

Pierre Wolper. Specification and Synthesis of Communicating Processes using an Extended Temporal Logic. In POPL. pages 20-33, 1982.

Abstract

Abstract is missing.