{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:19Z","timestamp":1725663379495},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555858"},{"type":"electronic","value":"9783540472407"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55585-4_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:14:39Z","timestamp":1330251279000},"page":"128-137","source":"Crossref","is-referenced-by-count":0,"title":["Runtime system support for data-oriented synchronization in Ada-9X"],"prefix":"10.1007","author":[{"given":"M.","family":"Gobin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Timmerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. J. A.","family":"Gielen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"12_CR1","volume-title":"A Guide to Real-time Programming","author":"D. Ripps","year":"1989","unstructured":"RIPPS D., A Guide to Real-time Programming., Prentice Hall Inc., Englewood Cliffs,NJ, 1989."},{"unstructured":"ADA9X, Mapping Document, Volume I, Mapping Rationale, vsn.3.1, August 1991.","key":"12_CR2"},{"unstructured":"ADA9X, Mapping Document, Volume II, Mapping Specification, vsn.3.1, August 1991.","key":"12_CR3"},{"unstructured":"ELBERT T.F., Embedded Programming in Ada","key":"12_CR4"},{"unstructured":"LESTER K., The Ada9X project: progress report., Presented to the foundation meeting of Ada Belgium, October 3rd, 1991.","key":"12_CR5"},{"unstructured":"ARTEWG, Catalog of Interface Features and Options for the Ada Runtime Environment., ACM Special Sigada edition Adaletters, Volume XI, Number 8, Fall 1991.","key":"12_CR6"},{"doi-asserted-by":"crossref","unstructured":"KARLIN A., LI K., MANASSE M., OWICKI S., Empirical Studies of Competitive Spinning for A Shared Memory Multiprocessor, ACM 0-89791-447-3\/91\/0009\/0041, 1991.","key":"12_CR7","DOI":"10.1145\/121132.286599"}],"container-title":["Lecture Notes in Computer Science","Ada: Moving Towards 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55585-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:38Z","timestamp":1605646778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55585-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555858","9783540472407"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-55585-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}