Ada95: An effective concurrent programming language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1088, Issue , 1996, Pages 58-77

  Bums, A ^a   Wellings, A J ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957927489     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0013478     Document Type: Conference Paper

References (13)

1. Bloom, T. (1979). Evaluating synchronisation mechanisms, Proceedings of the Seventh ACM Symposium on Operating System Principles, Pacific Grove, pp. 24-32.
2. Brinch-Hansen, P. (1972). Structured multiprogramming, CACM 15(7): 574-578.
3. Brinch-Hansen, P. (1973). Operating System Principles, Prentice-Hall, New Jersey.
4. Bums, A. and Wellings, A. J. (1995). Concurrency in Ada, Cambridge University Press.
5. Bums, A., Lister, A. and Wellings, A. (1987). A Review of Ada Tasking, Lecture Notes in Computer Science, Volume 262, Springer-Verlag.
6. Davis, R., Tindell, K. and Bums, A. (1993). Scheduling slack time in fixed priority pre-emptive systems, Proceedings Real-Time Systems Symposium, pp. 222-231.
7. Hoare, C. (1972). Towards a theory of parallel programming, Operating Systems Techniques, Academic Press, pp. 61-71.
8. Hoare, C. (1974). Monitors - an operating system structuring concept, CACM 17(10): 549-557.
9. Lehoczky, J. and Ramos-Thuel, S. (1992). An optimal algorithm for scheduling soft- aperiodic tasks fixed-priority preemptive systems, Proceedings Real-Time Systems Symposium, pp. 110-123.
10. Liu, J., Lin, K., Shih, W., Yu, A., Chung, J. and Zhao, W. (1991). Algorithms for scheduling imprecise computations, IEEE Computer pp. 58-68.
11. Lomet, D. (1977). Process structuring, synchronisation and recovery using atomic actions, Proceedings ACM Conference Language Design for Reliable Software SIGPLAN, pp. 128-137.
12. Randell, B., Lee, P. and Treleaven, P. (1978). Reliability issues in computing system design, ACM Computing Surveys 10(2): 123-165.
13. Wellings, A. and Bums, A. (1996). Implementing atomic actions in Ada 95, Technical Report YCS.263, Department of Computer Science, University of York.