Specification of Time Dependencies and Synthesis of Concurrent Processes

@inproceedings{Ladkin:ICSE87,
  author    = {Peter B. Ladkin},
  title     = {Specification of Time Dependencies and Synthesis of Concurrent Processes},
  booktitle = {ICSE},
  pages     = {106--115},
  publisher = {{ACM}},
  year      = {1987},
}