{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T10:36:04Z","timestamp":1697970964034},"reference-count":20,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1985,1]]},"DOI":"10.1016\/0096-0551(85)90016-5","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:11:16Z","timestamp":1060297876000},"page":"189-209","source":"Crossref","is-referenced-by-count":3,"title":["The Ada task system and real-time applications: an implementation schema"],"prefix":"10.1016","volume":"10","author":[{"given":"N.","family":"Cocco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Mandrioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Milanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(85)90016-5_BIB1","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1145\/358855.358857","article-title":"Real-time: the \u201clost world\u201d of software debugging and testing","volume":"23","author":"Glass","year":"1980","journal-title":"CACM"},{"key":"10.1016\/0096-0551(85)90016-5_BIB2","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/359763.359798","article-title":"Towards a discipline of real-time programming","volume":"20","author":"Wirth","year":"1977","journal-title":"CACM"},{"key":"10.1016\/0096-0551(85)90016-5_BIB3","series-title":"Requirements for Ada Language Integrated","author":"Steelman","year":"1978"},{"key":"10.1016\/0096-0551(85)90016-5_BIB4","series-title":"Reference Manual for the Ada Programming Language","year":"1983"},{"key":"10.1016\/0096-0551(85)90016-5_BIB5","doi-asserted-by":"crossref","unstructured":"Mandrioli D., Zicari R., Ghezzi C. and Tisato F., Modelling the Ada task system by Petri net. Comput. Lang. 10, 43\u201361.","DOI":"10.1016\/0096-0551(85)90010-4"},{"key":"10.1016\/0096-0551(85)90016-5_BIB6","doi-asserted-by":"crossref","first-page":"1019","DOI":"10.1002\/spe.4380111004","article-title":"Task management in Ada. A critical evaluation for real-time multiprocessors","volume":"11","author":"Roberts","year":"1981","journal-title":"Software-Pract. Exper."},{"issue":"No. 2","key":"10.1016\/0096-0551(85)90016-5_BIB7","article-title":"Some comments on Ada as a real-time programming language","volume":"16","author":"Mahjoub","year":"1981","journal-title":"Sigplan"},{"key":"10.1016\/0096-0551(85)90016-5_BIB8","article-title":"ADAM\u2014an Ada based language for multi-processing","author":"Luckham","year":"1981","journal-title":"Stanford University Report STAN-CS-81-867"},{"key":"10.1016\/0096-0551(85)90016-5_BIB9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10283-3","article-title":"Towards a Formal Description of Ada","author":"Bj\u00f6rner","year":"1980"},{"key":"10.1016\/0096-0551(85)90016-5_BIB10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0096-0551(82)90017-0","article-title":"Language constructs for real-time distributed systems","volume":"7","author":"Berry","year":"1982","journal-title":"Comput. Lang."},{"issue":"No. 11","key":"10.1016\/0096-0551(85)90016-5_BIB11","article-title":"Preliminary Ada Reference Manual and Rationale","volume":"15","year":"1980","journal-title":"ACM Sigplan Not."},{"key":"10.1016\/0096-0551(85)90016-5_BIB12","article-title":"Operational frameworks for semantic description of concurrent languages. With an application to Ada-like languages","author":"Astesiano","year":"1982","journal-title":"Cnet Report No. 61"},{"key":"10.1016\/0096-0551(85)90016-5_BIB13","series-title":"Preliminary Report","article-title":"An abstract Ada machine supporting real-time applications","author":"Cocco","year":"1983"},{"key":"10.1016\/0096-0551(85)90016-5_BIB14","article-title":"A machine architecture supporting asynchronous activities","author":"Ghezzi","year":"1981","journal-title":"Cnet Report No. 38"},{"key":"10.1016\/0096-0551(85)90016-5_BIB15","article-title":"X-code","author":"Colombo","year":"1982","journal-title":"Cnet Report No. 66"},{"key":"10.1016\/0096-0551(85)90016-5_BIB16","series-title":"Ani Congresso AICA","article-title":"X-code, una architettura di macchina orientata alla programmazione concorrente","author":"Colombo","year":"1982"},{"key":"10.1016\/0096-0551(85)90016-5_BIB17","article-title":"Cnet: stato della ricerca e proposta 1982","author":"Lijtmaer","year":"1982","journal-title":"Cnet Report No. 73"},{"key":"10.1016\/0096-0551(85)90016-5_BIB18","article-title":"The first one hundred Cnet abstract","author":"Lijtmaer","year":"1983","journal-title":"Cnet Report No. 101"},{"key":"10.1016\/0096-0551(85)90016-5_BIB19","article-title":"X-Ada: the visibility in Ada of the X-code abstract machine","author":"Ghezzi","year":"1983","journal-title":"Cnet Report No. 81"},{"key":"10.1016\/0096-0551(85)90016-5_BIB20","series-title":"Studies in Ada Style","author":"Hibbard","year":"1983"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055185900165?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055185900165?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T09:26:14Z","timestamp":1552641974000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055185900165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,1]]},"references-count":20,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1985,1]]}},"alternative-id":["0096055185900165"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(85)90016-5","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1985,1]]}}}