Author:
Buchholtz Mikael,Andersen Jacob,Løvengreen Hans Henrik
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Altisen, K., G. Gossler and J. Sifakis, Scheduling - a methodology for the construction of scheduled systems, Lecture Notes in Computer Science 1926 (2000), pp. 106–120.
2. Andersen J. and M. Buchholtz, “Formal Development of a Real-Time Kernel,” Master's thesis, Department of Information Technology, Technical University of Denmark (2001). URL http://www.imm.dtu.dk/people/mib/masters/
3. Real-time Linux;Barabanov;Linux Journal,1996
4. A process algebraic approach to the schedulability analysis of real-time systems;Ben-Abdallah;Real-Time Systems,1998
5. A process algebra of communicating shared resources with dense time and priorities;Brémond-Grégoire;Theoretical Computer Science,1997
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pars;Chapman & Hall/CRC Computational Science;2008-12-22
2. Resources in process algebra;The Journal of Logic and Algebraic Programming;2007-05
3. PARS: A Process Algebra with Resources and Schedulers;Lecture Notes in Computer Science;2004
4. A Bounded True Concurrency Process Algebra for Performance Evaluation;Lecture Notes in Computer Science;2004