Philip Chan, Dang Van Hung. Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. In Kanchana Kanchanasut, Jean-Jacques Lévy, editors, Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC 95, Pathumthani, Tailand, December 11-13, 1995, Proceedings. Volume 1023 of Lecture Notes in Computer Science, pages 365-380, Springer, 1995.
@inproceedings{ChanH95:0, title = {Duration Calculus Specification of Schedulimg for Tasks with Shared Resources}, author = {Philip Chan and Dang Van Hung}, year = {1995}, researchr = {https://researchr.org/publication/ChanH95%3A0}, cites = {0}, citedby = {0}, pages = {365-380}, booktitle = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC 95, Pathumthani, Tailand, December 11-13, 1995, Proceedings}, editor = {Kanchana Kanchanasut and Jean-Jacques Lévy}, volume = {1023}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60688-2}, }