{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:46Z","timestamp":1725573106357},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_11","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"129-143","source":"Crossref","is-referenced-by-count":1,"title":["A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTM"],"prefix":"10.1007","author":[{"given":"Benjamin M.","family":"Brosgol","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Consolidated Ada Reference Manual. Language and Standard Libraries","year":"2001","unstructured":"Tucker Taft, S., Duff, R.A., Brukardt, R.L., Pl\u00f6dereder, E. (eds.): Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol.\u00a02219. Springer, Heidelberg (2001)"},{"key":"11_CR2","unstructured":"Java Community Process; JSR-001: Real-Time Specification for Java (March 2004), http:\/\/www.jcp.org\/en\/jsr\/detail?id=1"},{"key":"11_CR3","volume-title":"The Real-Time Specification for Java","author":"G. Bollella","year":"2000","unstructured":"Bollella, G., Gosling, J., Brosgol, B., Dibble, P., Furr, S., Hardin, D., Turnbull, M.: The Real-Time Specification for Java. Addison-Wesley, Reading (2000)"},{"key":"11_CR4","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. Addison Wesley, Reading (2000)","edition":"2"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Brosgol, B.: A Comparison of the Concurrency and Real-Time Features of Ada 95 and Java. In: Ada UK Conference, Bristol, UK (1998)","DOI":"10.1145\/289524.289572"},{"key":"11_CR6","volume-title":"Java Threads","author":"S. Oaks","year":"2004","unstructured":"Oaks, S., Wong, H.: Java Threads, 3rd edn. O\u2019Reilly, Sebastopol (2004)","edition":"3"},{"key":"11_CR7","volume-title":"Concurrent and Real-Time Programming in Java","author":"A. Wellings","year":"2004","unstructured":"Wellings, A.: Concurrent and Real-Time Programming in Java. John Wiley & Sons, Chichester (2004)"},{"key":"11_CR8","unstructured":"Java Community Process; JSR-133: Java Memory Model and Thread Specification (March 2004), http:\/\/www.jcp.org\/aboutJava\/communityprocess\/review\/jsr133\/"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Hansen, P.B.: Java\u2019s Insecure Parallelism. ACM SIGPLAN Notices\u00a034(4) (April 1999)","DOI":"10.1145\/312009.312034"},{"key":"11_CR10","unstructured":"Java Community Process; JSR-166: Java Concurrency Utilities (December 2003), http:\/\/www.jcp.org\/aboutJava\/communityprocess\/review\/jsr166\/"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transaction on Computers\u00a039, 1175\u20131185 (1990)","journal-title":"IEEE Transaction on Computers"},{"key":"11_CR12","unstructured":"Wellings, A., Burns, A.: Informal communication (December 2004)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Brosgol, B., Wellings, A.: A Comparison of the Asynchronous Transfer of Control Facilities in Ada and the Real-Time Specification for Java. In: Proc. Ada Europe 2003, Toulouse, France (June 2003)","DOI":"10.1007\/3-540-44947-7_8"},{"key":"11_CR14","unstructured":"Intermetrics, Inc.; Ada 95 Rationale (January 1995)"},{"key":"11_CR15","unstructured":"ISO\/IEC JTC1 \/ SC22 \/ WG9; AI-327, Dynamic Ceiling Priorities (November 2004), http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00327.TXT?rev=1.13"},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/340396.340450","volume":"XIX","author":"A. Burns","year":"1999","unstructured":"Burns, A.: The Ravenscar Profile. Ada Letters\u00a0XIX(4), 49\u201352 (1999)","journal-title":"Ada Letters"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:59Z","timestamp":1605643319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11499909_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}