{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:55Z","timestamp":1725662875037},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108283"},{"type":"electronic","value":"9783540387169"}],"license":[{"start":{"date-parts":[[1981,1,1]],"date-time":"1981-01-01T00:00:00Z","timestamp":347155200000},"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":[[1981]]},"DOI":"10.1007\/3-540-10828-9_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:25:28Z","timestamp":1330190728000},"page":"147-161","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Une semantique pour les arbres non deterministes"],"prefix":"10.1007","author":[{"given":"G.","family":"Boudol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"ADJ","year":"1977","unstructured":"ADJ: \"Initial algebra semantics and continuous algebras\", JACM 24 (1977) 68\u201395","journal-title":"JACM"},{"key":"10_CR2","first-page":"219","volume":"13","author":"A. Arnold","year":"1980","unstructured":"A. Arnold & M. Nivat: \"Formal computations of non-deterministic recursive schemes\", MST 13 (1980) 219\u2013236","journal-title":"MST"},{"key":"10_CR3","unstructured":"A. Arnold &M. Nivat: \"Algebraic semantics of non-deterministic recursive program schemes\", Rapport du LITP no 78\u20134, Univ. Paris 7 (1978)"},{"key":"10_CR4","unstructured":"J.W. de Bakker: \"Semantics and termination of non-deterministic recursive programs\", Proc. of the 3rd ICALP, Edimburgh (1976) 435\u2013477"},{"key":"10_CR5","unstructured":"G. Boudol: \"S\u00e9mantique op\u00e9rationnelle et alg\u00e9brique des programmes r\u00e9cursifs non-d\u00e9terministes\", Th\u00e8se, Univ. Paris 7 (1980)"},{"key":"10_CR6","unstructured":"G. Boudol: \"On the semantics of non-deterministic recursive programs\", \u00e0 para\u00eetre"},{"key":"10_CR7","unstructured":"G. Boudol: \"Category-theoretic models of non-determinism\", \u00e0 para\u00eetre"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"J.-M. Cadiou: \"Recursive definitions of partial functions and their computations\", Ph. D. Thesis, Stanford (1972)","DOI":"10.1145\/800235.807072"},{"key":"10_CR9","unstructured":"B. Courcelle & M. Nivat: \"Algebraic families of interpretations\", 17th FOCS (1976) 137\u2013146"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(80)90028-6","volume":"12","author":"G. Cousineau","year":"1980","unstructured":"G. Cousineau: \"An algebraic definition for control structures\", TCS 12 (1980) 175\u2013192","journal-title":"TCS"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra: \"Guarded commands, non-determinacy and formal derivation of programs\", CACM 18 (1975) 453\u2013457","journal-title":"CACM"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"R.W. Floyd","year":"1967","unstructured":"R.W. Floyd: \"Non-deterministic algorithms\", JACM 14 (1967) 636\u2013644","journal-title":"JACM"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0304-3975(80)90015-8","volume":"11","author":"M. Hennessy","year":"1980","unstructured":"M. Hennessy & E.A. Aschroft: \"A mathematical semantics for non-deterministic typed \u03bb-calculus\", TCS 11 (1980) 227\u2013246","journal-title":"TCS"},{"key":"10_CR14","unstructured":"D.J. Lehmann: \"Categories for fix point semantics\", 17th FOCS (1976) 122\u2013126"},{"key":"10_CR15","unstructured":"J. Mc Carthy: \"A basis for a mathematical theory of computation\", in \"Computer programming and formal systems\" (Braffort & Hirschberg, Eds) (1963) 33\u201370"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(70)90002-0","volume":"1","author":"Z. Manna","year":"1970","unstructured":"Z. Manna: \"The correctness of non-deterministic programs\", Artificial Intelligence 1 (1970) 1\u201326","journal-title":"Artificial Intelligence"},{"key":"10_CR17","unstructured":"M. Nivat: \"On the interpretation of recursive polyadic program schemes\", Symposia Mathematica 15, Bologna (1975) 225\u2013281"},{"key":"10_CR18","unstructured":"M. Nivat: \"Non-deterministic programs: an algebraic overview\", IFIP Congress 1980"},{"key":"10_CR19","unstructured":"M. Nivat: \"Chartes, arbres, programmes it\u00e9ratifs\", Rapport du LITP no 78\u201328, Univ. Paris 7 (1978)"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"G. Plotkin: \"A power-domain construction\", SIAM J. on Computing 5 (1976) 452\u2013487","journal-title":"SIAM J. on Computing"},{"key":"10_CR21","unstructured":"B.K. Rosen: \"Program equivalence and context-free grammars\", 13th SWAT (1972) 7\u201318"},{"key":"10_CR22","unstructured":"D. Scott: \"Outline of a mathematical theory of computation\", Technical Monograph PRG 2, Oxford (1970)"},{"key":"10_CR23","unstructured":"D. Scott: \"The lattice of flow-diagrams\", Symp. on Semantics of Algorithmic Languages, Lecture Notes in Mathematics no 182 (1971) 311\u2013366"},{"key":"10_CR24","first-page":"23","volume":"16","author":"M. Smyth","year":"1978","unstructured":"M. Smyth: \"Power-domains\", JCSS 16 (1978) 23\u201336","journal-title":"JCSS"}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:18:09Z","timestamp":1558268289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}