Synthesis of Communicating Processes from Temporal Logic Specifications (1984)

by Z Manna, P Wolper
Venue:ACM TOPLAS