Priority inheritance and message passing communication: A formal treatment-Reference-Cited by-同舟云学术

Priority inheritance and message passing communication: A formal treatment

Published:1991-03 Issue:1 Volume:3 Page:19-44
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:The Journal of Real-Time Systems

Author:

Burns A.,Wellings A. J.

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/BF00365391.pdf

Reference8 articles.

1. Burns, A., Lister, A.M., and Wellings, A.J. 1987. A Review of Ada Tasking. In Lecture Notes in Computer Science, 262, New York: Springer-Verlag.

2. Burns, A., and Wellings, A.J. 1990. Real-Time Systems and Their Programming Languages, New York: Addison Wesley.

3. Burns, A. 1990. Distributed Hard Real-Time Systems: What Restrictions are Necessary? In Real-Time Systems Theory and Applications, ed. H.Zedan, New York: Elsevier Scientific.

4. U.S. Department of Defense. 1983. Reference Manual for the Ada Programming Language. ANSI/MIL-STD 1815 A.

5. INMOS_LImited. 1984. Occam Programming Manual, London: Prentice Hall.

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

1. A process algebraic approach to the schedulability analysis of real-time systems;Real-Time Systems;1998

2. Real-time schedulability tests for preemptive multitasking;Real-Time Systems;1998

3. Integrating real-time scheduling theory and program refinement;FME'96: Industrial Benefit and Advances in Formal Methods;1996

4. A formal definition of priority in CSP;ACM Transactions on Programming Languages and Systems;1993-09

5. Integrated space- and ground multi processor architecture for real-time computing;9th Computing in Aerospace Conference;1993-08-22