Specification of Time Dependencies and Synthesis of Concurrent Processes.

Peter B. Ladkin Specification of Time Dependencies and Synthesis of Concurrent Processes. 106-115 1987 ICSE db/conf/icse/icse87.html#Ladkin87