{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T06:25:04Z","timestamp":1766298304136},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_85","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"256-273","source":"Crossref","is-referenced-by-count":10,"title":["Partial order and SOS semantics for linear constraint programs"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"17_CR1","first-page":"498","volume":"1119","author":"E. Best","year":"1996","unstructured":"E. Best and C. Palamidessi: Linear constraint systems as high-level nets. Proc. CONCUR'96. Springer LNCS 1119 (1996) 498\u2013513","journal-title":"Proc. CONCUR'96. Springer LNCS"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"A. Brogi and P. Ciancarini: The concurrent language Shared Prolog. ACM TOPLAS 13 (1991) 99\u2013123","journal-title":"ACM TOPLAS"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"F.S. Boer de","year":"1994","unstructured":"F.S. de Boer and C. Palamidessi. Embedding as a Tool for Language Comparison. Information and Computation 108 (1994) 128\u2013157","journal-title":"Information and Computation"},{"unstructured":"F.S. de Boer, C. Palamidessi and E. Best: Concurrent Constraint Programming with Information Removal. Proc. First Int. Workshop on Concurrent Constraint Programming, Venice (1995) 1\u201313","key":"17_CR4"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter: Linda in context. Comm. ACM 32 (1989) 445\u2013458","journal-title":"Comm. ACM"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(93)90238-O","volume":"112","author":"R. Janicki","year":"1993","unstructured":"R. Janicki and M. Koutny: Structure of Concurrency. Theoretical Computer Science 112 (1993) 5\u201352","journal-title":"Theoretical Computer Science"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"R. Janicki and M. Koutny: Semantics of Inhibitor Nets. Information and Computation 123 (1995) 1\u201316","journal-title":"Information and Computation"},{"unstructured":"N. Kobayashi and A. Yonezawa: ACL-A Concurrent Linear Logic Programming Paradigm. Proc. of the International Logic Programming Symposium (1993) 279\u2013294","key":"17_CR8"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter: Generative Communication in Linda. ACM TOPLAS 7 (1985) 80\u2013112","journal-title":"ACM TOPLAS"},{"key":"17_CR10","first-page":"279","volume":"255","author":"A. Mazurkiewicz","year":"1987","unstructured":"A. Mazurkiewicz: Trace Theory. Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II. Springer-Verlag, LNCS 255 (1987) 279\u2013324","journal-title":"LNCS"},{"unstructured":"U. Montanari and F. Rossi: True concurrency in concurrent constraint programming. Proc. of the International Logic Programming Symposium (1991) 694\u2013716","key":"17_CR11"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi: Graph rewriting for a partial order semantics of concurrent constraint programming. Theoretical Computer Science 109 (1993)","key":"17_CR12","DOI":"10.1016\/0304-3975(93)90069-6"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi: Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets. V.J. Saraswat and P. Van Hentenryck (eds.) Constraint Programming (1995)","key":"17_CR13","DOI":"10.1007\/3-540-59155-9_10"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi: Contextual nets. Acta Informatica 32 (1995)","key":"17_CR14","DOI":"10.1007\/BF01178907"},{"unstructured":"W. Reisig: Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science 3 (1985)","key":"17_CR15"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/35043.35044","volume":"31","author":"G.A. Ringwood","year":"1988","unstructured":"G.A. Ringwood: Parlog86 and the dining logicians. Comm. ACM 31 (1988) 10\u201325","journal-title":"Comm. ACM"},{"unstructured":"F. Rossi: Constraints and Concurrency. PhD thesis, University of Pisa (1993)","key":"17_CR17"},{"doi-asserted-by":"crossref","unstructured":"V.A. Saraswat: Concurrent Constraint Programming. PhD thesis, Carnegie-Mellon University (1989) Published by The MIT Press (1993)","key":"17_CR18","DOI":"10.7551\/mitpress\/2086.001.0001"},{"doi-asserted-by":"crossref","unstructured":"V.A. Saraswat and P. Lincoln: Higher-order, linear concurrent constraint programming. Technical report, Xerox PARC (1992)","key":"17_CR19","DOI":"10.7551\/mitpress\/2086.001.0001"},{"doi-asserted-by":"crossref","unstructured":"V.A. Saraswat and M. Rinard: Concurrent constraint programming. Proc. of the seventeenth ACM Symposium on Principles of Programming Languages (1990) 232\u2013245","key":"17_CR20","DOI":"10.1145\/96709.96733"},{"doi-asserted-by":"crossref","unstructured":"V.A. Saraswat, M. Rinard, and P. Panangaden: Semantics foundations of concurrent constraint programming. In Proc. of the eighteenth ACM Symposium on Principles of Programming Languages (1991) 333\u2013353","key":"17_CR21","DOI":"10.1145\/99583.99627"},{"unstructured":"E. Shapiro: Embedding Linda and other joys of concurrent logic programming. Technical Report, The Weizmann Institute of Science (1989)","key":"17_CR22"},{"key":"17_CR23","first-page":"389","volume":"17","author":"P.H. Starke","year":"1981","unstructured":"P.H. Starke: Processes in Petri Nets. Elektronische Informationsverarbeitung and Kybernetik 17 (1981) 389\u2013416","journal-title":"Elektronische Informationsverarbeitung and Kybernetik"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_85","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,16]],"date-time":"2020-04-16T22:03:53Z","timestamp":1587074633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}