Duration calculus specification of scheduling for tasks with shared resources-Reference-Cited by-同舟云学术

Duration calculus specification of scheduling for tasks with shared resources

Published:1995 Issue: Volume: Page:365-380
ISSN:0302-9743
Container-title:Algorithms, Concurrency and Knowledge
language:
Short-container-title:

Author:

Chan Philip,Van Hung Dang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60688-2_56

Reference15 articles.

1. Neil C.Audsley, “Resource Control for Hard Real-Time Systems: A Review” Technical Report YCS 159, Department of Computer Science, University of York, U.K., August 1991.

2. Ozalp Babaoglu, Keith Marzullo and Fred B.Schneider, “Priority Inversion and its Prevention in Real-Time Systems”, TR-90-1088, Department of Computer Science, Cornell University, March 1990.

3. Ozalp Babaoglu, Keith Marzullo and Fred B.Schneider, “A Formalization of Priority Inversion”, Real-Time Systems, 5(4), pp. 285–303, October 1993.

4. Philip Chan and Dang Van Hung, “Duration Calculus Specification of Scheduling for Tasks with Shared Resources”, UNU/IIST Report No. 44, June 1995.

5. Dang Van Hung and Zhou Chao Chen, “Probabilistic Duration Calculus for Continuous Time”, UNU/IIST Report No. 25, May 1994. Submitted to Formal Aspects of Computing.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Theory of Duration Calculus with Application;Lecture Notes in Computer Science;2007

2. Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus;Formal Methods and Hybrid Real-Time Systems;2007

3. Real-Time Systems Development with Duration Calculi: An Overview;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003

4. Duration calculus: Logical foundations;Formal Aspects of Computing;1997-05

5. Duration calculus specification of scheduling for tasks with shared resources;Algorithms, Concurrency and Knowledge;1995