Peter B. Ladkin
Specification of Time Dependencies and Synthesis of Concurrent Processes
ICSE, 1987.
@inproceedings{ICSE-1987-Ladkin,
acmid = "41777",
author = "Peter B. Ladkin",
booktitle = "{Proceedings of the Ninth International Conference on Software Engineering}",
editor = "William E. Riddle and Robert M. Balzer and Kouichi Kishida",
isbn = "0-89791-216-0",
pages = "106--115",
publisher = "{ACM Press}",
title = "{Specification of Time Dependencies and Synthesis of Concurrent Processes}",
year = 1987,
}