Verification, refinement and scheduling of real-time programs-Reference-Cited by-同舟云学术

Verification, refinement and scheduling of real-time programs

Published:2001-02 Issue:1 Volume:253 Page:119-152
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Liu Zhiming,Joseph Mathai

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference34 articles.

1. The existence of refinement mappings;Abadi;Theoret. Comput. Sci.,1991

2. An old-fashioned recipe for real-time;Abadi,1992

3. A calculus of refinements for program derivations;Back;Acta Inform.,1988

4. A calculus of refinements for program derivations;Back;Acta Inform.,1988

5. A. Burns, R. Davis, S. Punnekkat, Feasibility analysis of fault-tolerant real-time tasks, Technical Report, Department of Computer Science, University of York, 1995.

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

1. A scheduling method for multi-robot assembly of aircraft structures with soft task precedence constraints;Robotics and Computer-Integrated Manufacturing;2021-10

2. Application State Refinement for Scheduling Applications on Mobile Devices;Proceedings of the 13th International Conference on Advances in Mobile Computing and Multimedia;2015-12-11

3. Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems;Science of Computer Programming;2015-11

4. Schedulability analysis of fixed-priority systems using timed automata;Theoretical Computer Science;2006-03

5. Predictability in Real-Time System Development;Advances in Design and Specification Languages for SoCs;2005