Towards a process algebra for shared processors

Electronic Notes in Theoretical Computer Science

Volumn 52, Issue 3, 2002, Pages 275-294

  Buchholtz, Mikael ^a   Andersen, Jacob ^a   Løvengreen, Hans Henrik ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; PROGRAM PROCESSORS; RESOURCE ALLOCATION; SEMANTICS;

ARBITRARY POINTS; KERNEL DEVELOPMENT; PROCESS ALGEBRA; SINGLE PROCESSOR;

ALGEBRA;

EID: 21144456921     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00228-2     Document Type: Conference Paper

References (17)

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. M. Barabanov, and V. Yodaiken Real-time Linux Linux Journal 1996
4. H. Ben-Abdallah, J. Choi, D. Clarke, Y.S. Kim, I. Lee, and H. Xie A process algebraic approach to the schedulability analysis of real-time systems Real-Time Systems 15 1998 189 219
5. P. Brémond-Grégoire, and I. Lee A process algebra of communicating shared resources with dense time and priorities Theoretical Computer Science 1997 179 219
6. A. Burns "Programming in Occam-2," 1988 Addison-Wesley
7. R. Cleaveland, G. Löttgen, and V. Natarajan Priority in process algebra J. Bergstra A. Ponse S. Smolka Handbook of Process Algebra 2001 North-Holland 711 765
8. Fersman E., P. Petterson and Wang Yi, Timed automata with asynchronous processes: Schedulability and decidability, in: Tools and Algorithms for the Construction and Analysis of Systems (TACAS2002), number 2280 in Lecture Notes of Computer Science, 2002, pp. 67-82.
9. Fredette, A. N. and R. Cleaveland, RTSL: A language for real-time scheduability analysis, in: Proceedings. Real-Time Systems Symposium, 1993, pp. 274-283.
10. C.A.R. Hoare Communicating sequential processes Communications of the ACM 21 1978 666 677
11. K.G. Larsen, P. Pettersson, and Wang Yi Uppaal in a Nutshell Int. Journal on Software Tools for Technology Transfer 1 1997 134 152
12. K.G. Larsen, and A. Skou Bisimulation through probabilistic testing Information And Computation 94 1991 1 29
13. J.W.S. Liu "Real-Time Systems," 2000 Prentice Hall
14. Z. Liu, and M. Joseph Verification, refinement and scheduling of real-time programs Theoretical Computer Science 253 2001 119 152
15. J.F. Søgaard-Andersen, C. Ø. Rump, and H.H. Løvengreen A systematic kernel development SIGSOFT Software Engineering Notes 16 1991 55 65
16. R.J. van Glabbeek The linear time - branching time spectrum I. The semantics of concrete, sequential processes J. Bergstra A. Ponse S. Smolka Handbook of Process Algebra 2001 North-Holland 3 99
17. Zhou Chaochen, M. R. Hansen, A. P. Ravn and H. Rischel, Duration specifications for shared processors, in: Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium Proceedings, 1991, pp. 21-32.