Duration Calculus Specification of Schedulimg for Tasks with Shared Resources

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.

Abstract

Abstract is missing.