{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:41Z","timestamp":1725456461894},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613176"},{"type":"electronic","value":"9783540684572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0013478","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:54:12Z","timestamp":1132736052000},"page":"58-77","source":"Crossref","is-referenced-by-count":2,"title":["Ada95: An effective concurrent programming language"],"prefix":"10.1007","author":[{"given":"A.","family":"Burns","sequence":"first","affiliation":[]},{"given":"A. J.","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bloom, T. (1979). Evaluating synchronisation mechanisms, Proceedings of the Seventh ACM Symposium on Operating System Principles, Pacific Grove, pp. 24\u201332.","DOI":"10.1145\/800215.806566"},{"issue":"7","key":"4_CR2","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"P. Brinch-Hansen","year":"1972","unstructured":"Brinch-Hansen, P. (1972). Structured multiprogramming, CACM\n15(7):574\u2013578.","journal-title":"CACM"},{"key":"4_CR3","volume-title":"Operating System Principles","author":"P. Brinch-Hansen","year":"1973","unstructured":"Brinch-Hansen, P. (1973). Operating System Principles, Prentice-Hall, New Jersey."},{"key":"4_CR4","unstructured":"Burns, A. and Wellings, A. J. (1995). Concurrency in Ada, Cambridge University Press."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Burns, A., Lister, A. and Wellings, A. (1987). A Review of Ada Tasking, Lecture Notes in Computer Science, Volume 262, Springer-Verlag.","DOI":"10.1007\/3-540-18008-7"},{"key":"4_CR6","unstructured":"Davis, R., Tindell, K. and Burns, A. (1993). Scheduling slack time in fixed priority pre-emptive systems, Proceedings Real-Time Systems Symposium, pp. 222\u2013231."},{"key":"4_CR7","unstructured":"Hoare, C. (1972). Towards a theory of parallel programming, Operating Systems Techniques, Academic Press, pp. 61\u201371."},{"issue":"10","key":"4_CR8","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. Hoare","year":"1974","unstructured":"Hoare, C. (1974). Monitors \u2014 an operating system structuring concept, CACM\n17(10):549\u2013557.","journal-title":"CACM"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013123.","DOI":"10.1109\/REAL.1992.242671"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Liu, J., Lin, K., Shih, W., Yu, A., Chung, J. and Zhao, W. (1991). Algorithms for scheduling imprecise computations, IEEE Computer pp. 58\u201368.","DOI":"10.1007\/978-1-4615-3956-8_8"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Lomet, D. (1977). Process structuring, synchronisation and recovery using atomic actions, Proceedings ACM Conference Language Design for Reliable Software SIGPLAN, pp. 128\u2013137.","DOI":"10.1145\/800022.808319"},{"issue":"2","key":"4_CR12","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/356725.356729","volume":"10","author":"B. Randell","year":"1978","unstructured":"Randell, B., Lee, P. and Treleaven, P. (1978). Reliability issues in computing system design, ACM Computing Surveys\n10(2):123\u2013165.","journal-title":"ACM Computing Surveys"},{"key":"4_CR13","unstructured":"Wellings, A. and Burns, A. (1996). Implementing atomic actions in Ada 95, Technical Report YCS.263, Department of Computer Science, University of York."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T13:35:46Z","timestamp":1549373746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613176","9783540684572"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0013478","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}