Synthesis of Communicating Processes from Temporal Logic Specifications (1984)

by Z Manna, P Wolper
Venue:ACM Transactions on Programming Languages and Systems