{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:48:42Z","timestamp":1725515322582},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_52","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T06:58:16Z","timestamp":1213081096000},"page":"804-805","source":"Crossref","is-referenced-by-count":0,"title":["The Semantics of Ugo Montanari"],"prefix":"10.1007","author":[{"given":"Franco","family":"Turini","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The denotational description of Programming Languages","author":"M. Gordon","year":"1979","unstructured":"Gordon, M.: The denotational description of Programming Languages. Springer, Heidelberg (1979)"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Johnston, J.B.: The contour model of block structured processes, In: Tou, J., Wegner, P. (eds.) Sigplan Notices - Proc. Symp. on Data Structures in Prog. Lang., February 1971, vol.\u00a06(2), pp. 55\u201382 (1971)","DOI":"10.1145\/1115880.1115883"},{"key":"52_CR3","unstructured":"Montangero, C., Pacini, G., Turini, F.: MAGMA-LISP: a machine language for Artificial Intelligence. In: Advanced Papers of the Fourth International Joint Conference on Artificial Intelligence, pp. 556\u2013561 (1975)"},{"issue":"10","key":"52_CR4","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1145\/359842.359850","volume":"20","author":"C. Montangero","year":"1977","unstructured":"Montangero, C., Pacini, G., Turini, F.: Two-level control structures for Nondeterministic Programming. Communications of ACM\u00a020(10), 725\u2013730 (1977)","journal-title":"Communications of ACM"},{"issue":"4","key":"52_CR5","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1145\/1780.1784","volume":"6","author":"F. Turini","year":"1984","unstructured":"Turini, F.: MAGMA2: a language oriented to experiments in Control. ACM Trans. Program. Lang. Syst.\u00a06(4), 468\u2013486 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"52_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The formal semantics of programming languages: an introduction","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The formal semantics of programming languages: an introduction. MIT Press, Cambridge (1993)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T08:04:18Z","timestamp":1588752258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}