Concurrent and real-time programming in ADA 2005

Concurrent and Real-Time Programming in ADA 2005

Volumn 9780521866972, Issue , 2007, Pages 1-461

  Burns, Alan ^a   Wellings, Andy ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; EMBEDDED SYSTEMS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS;

ADA 2005; ADA TASKING MODEL; ISO STANDARDS; LANGUAGE REFERENCE MANUALS; OBJECT ORIENTED; REAL TIME PROGRAMMING; REAL-TIME AND EMBEDDED SYSTEMS; REAL-TIME PROGRAMMING LANGUAGES;

ADA (PROGRAMMING LANGUAGE);

EID: 84926094479     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511611230     Document Type: Book

References (37)

1. J. Barnes, Programming in Ada 2005, Addison-Wesley, 2006.
2. A. Burns and A.J. Wellings, Real-Time Systems and Programming Languages, 3rd Edition. Addison-Wesley, 2001.
3. G. R. Andrews, Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000.
4. J. Bacon, Concurrent Systems, 2nd Edition, Addison-Wesley, 1998.
5. M. Ben-Ari, Principles of Concurrent and Distributed Programming, 2nd Edition, Addison-Wesley, 2006.
6. G. R. Andrews, Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000.
7. J. Bacon, Concurrent Systems: Operating Systems, Database and Distributed Systems-An Integrated Approach, Addison-Wesley, 1998.
8. M. Ben-Ari, Principles of Concurrent and Distributed Programming, 2nd Edition, Addison-Wesley, 2006.
9. A. Burns and G.L. Davies, Concurrent Programming, Addison-Wesley, 1993.
10. D. Lea, Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley, 1999.
11. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1986.
12. R. Milner, Communication and Concurrency, Prentice-Hall, 1989.
13. J. Peterson, A. Silberschatz and P. Galvin, Operating System Concepts, Addison-Wesley, 2001.
14. A.J. Wellings, Concurrent and Real-Time Programming in Java, Wiley, 2004.
15. J. Barnes, Programming in Ada 2005, Addison-Wesley, 2006.
16. D. Lea, Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley, 1997.
17. A.J. Wellings, Concurrent and Real-Time Programming in Java, Wiley, 2004.
18. A. Burns and A.J. Wellings, Real-time Systems and Programming Languages, 3rd Edition, Addison-Wesley, 2001.
19. A. Burns and A.J. Wellings, Real-time Systems and Programming Languages, 3rd Edition, Addison-Wesley, 2000.
20. G.C. Buttazzo, Hard Real-Time Computing Systems, 2nd Edition, Springer, 2005.
21. M.H. Klein, T. Ralya, B. Pollak, R. Obenza, M. Gonzalez Harbour, A Practitioner’s Handbook for Real-Time Analysis, Kluwer, 1993.
22. H. Kopetz, Real-Time Systems, Kluwer, 1997.
23. J.W.S. Liu, Real-Time Systems, Prentice-Hall, 2000.
24. S.H. Son (editor), Advances in Real-Time Systems, Prentice-Hall, 1994.
25. A. Burns and A.J. Wellings, Real-time Systems and Programming Languages, 3rd Edition, Addison-Wesley, 2000.
26. Information Technology-Programming languages-Guide for the use of the Ada programming language in high integrity systems, ISO/IEC Technical Report, 15942, 2000.
27. Information Technology-Programming languages-Guide for the use of the Ada Ravenscar Profile in high integrity systems, ISO/IEC Technical Report, 24718, 2005.
28. Baker, T.P. Baker 1991, ‘A Stack-Based Resource Allocation Policy for Real-Time Processes’, Proceedings of the IEEE Real-Time Systems Symposium, 191-200 (1991).
29. M. Ben-Ari, Principles of Concurrent Programming, Prentice-Hall (1982).
30. T. Bloom, ‘Evaluating Synchronisation Mechanisms’, Proceedings of the Seventh ACM Symposium on Operating System Principles, Pacific Grove, 24-32 (December 1979).
31. R.H. Campbell and A.N. Habermann, ‘The Specification of Process Synchronisation by Path Expressions’, Lecture Notes in Computer Science, 16, 89-102, Springer-Verlag (1974).
32. E.W. Dijkstra, ‘Cooperating Sequential’ Processes, in Programming Languages, ed. F. Genuys, Academic Press, 43-112 (1968).
33. E.W. Dijkstra, ‘Guarded Commands, Nondeterminacy, and Formal Derivation of Programs’, CACM, 18(8), 453-7 (August 1975).
34. N. Francez and A. Pnueli, ‘A Proof Method for Cyclic Programs’, ACTA, 9, 133-57 (1978).
35. C.A.R. Hoare, ‘Monitors-An Operating System Structuring Concept’, CACM, 17(10), 549-57 (October 1974).
36. C.A.R. Hoare, Subsetting of Ada, Draft Document (June 1979).
37. H. Simpson, ‘Four-Slot Fully Asynchronous Communication Mechanism’, IEE Proceedings, 137 (Pt.E.1), 17-30 (January 1990).