{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:44:09Z","timestamp":1743007449905,"version":"3.40.3"},"publisher-location":"London","reference-count":9,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198383"},{"type":"electronic","value":"9781447120612"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-2061-2_30","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T05:11:37Z","timestamp":1326690697000},"page":"302-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Oreste : a Reliable Reactive Real-Time Language"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Molinaro","sequence":"first","affiliation":[]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,12,1]]},"reference":[{"key":"30_CR1","unstructured":"ISO \/TC 184 \/ SC 2 \/ WG 4 \/ N106 ISO \/WD 11513.1 Manipuling Industrial Robots, \u201cProgramming Languages for Robots\u201d (PLR) Sept. 91."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"B. Meyer, \u2018Applying \u201cDesign by Contract \u201c, IEEE Computer, pp 40\u201351, October 1992.","DOI":"10.1109\/2.161279"},{"key":"30_CR3","volume-title":"\u201cObject-Oriented Software Construction\u201d","author":"B Meyer","year":"1988","unstructured":"B. Meyer, \u201cObject-Oriented Software Construction\u201d, Prentice Hall, Englewood Cliffs, N.J., 534p., 1988."},{"key":"30_CR4","unstructured":"Le Langage de programmation ADA, Norme AFNOR NF EN 28652, 1989."},{"key":"30_CR5","unstructured":"Barbara Liskov, John Guttag, \u201cAbstraction and Specification in Program Development\u201d, MIT Press."},{"issue":"1","key":"30_CR6","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1093\/comjnl\/24.1.78","volume":"24","author":"A Silberschatz","year":"1981","unstructured":"A. Silberschatz, \u201cPort Directed Communication\u201d, The Computer Journal, Vol. 24, n\u22181, pp 78\u201382, 1981.","journal-title":"The Computer Journal"},{"key":"30_CR7","first-page":"5","volume-title":"\u201cM\u00e9canismes de communication et de synchronisation du langage Temps Reel Oreste\u201d","author":"OH Roux","year":"1993","unstructured":"O.H. Roux, P. Molinaro, \u201cM\u00e9canismes de communication et de synchronisation du langage Temps Reel Oreste\u201d, JJCSIR, Grenoble, France, pp 5\u201310, 14\u201316 April 1993."},{"issue":"8","key":"30_CR8","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes\u201d, Comm. of the ACM, Vol. 21, n\u22188, pp 666\u2013677, 1978.","journal-title":"Comm. of the ACM"},{"issue":"8","key":"30_CR9","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"E.W. Dijkstra, \u201cGuarded Commands, Nondeterminacy and Formal Derivation of Programs\u201d, Comm. of the ACM, Vol. 18, n\u22188, pp 453\u2013457, 1975.","journal-title":"Comm. of the ACM"}],"container-title":["SAFECOMP \u201993"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2061-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T02:03:46Z","timestamp":1560391426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-2061-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198383","9781447120612"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2061-2_30","relation":{},"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"1 December 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}