{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:12:54Z","timestamp":1743124374418,"version":"3.40.3"},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_9","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"129-143","source":"Crossref","is-referenced-by-count":3,"title":["An Observational Semantics for Linda"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter D. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems 1985; 7 (1): 80\u2013112","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N Carriero","year":"1989","unstructured":"Carriero N, Gelernter D. Linda in Context. Communications of the ACM 1989; 32 (4): 444\u2013458","journal-title":"Communications of the ACM"},{"key":"9_CR3","volume-title":"The MIT Press","author":"E Shapiro","year":"1987","unstructured":"Shapiro E. Concurrent Prolog: Collected Papers. The MIT Press, 1987"},{"key":"9_CR4","volume-title":"Parallel Program Design","author":"KM Chandy","year":"1988","unstructured":"Chandy KM, Misra J. Parallel Program Design: a Foundation. Addison Wesley, Massachusetts, 1988"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A Brogi","year":"1991","unstructured":"Brogi A, Ciancarini P. The concurrent language Shared Prolog. ACM Transactions on Programming Languages and Systems 1991; 13 (1): 99\u2013123","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR6","first-page":"255","volume-title":"proc. of the Internatinal Conference on Parallel Programming (St. Charles, I11.","author":"D Gelernter","year":"1985","unstructured":"Gelernter D, Carriero N, Chandran S, et al. Parallel Programming in Linda. In: proc. of the Internatinal Conference on Parallel Programming (St. Charles, I11., Aug. ). IEEE, 1985, pp 255\u2013263"},{"key":"9_CR7","first-page":"236","volume-title":"proc. of the ACM Symposium on Principles of Programming Languages (St. Petersburg, Fla., Jan.13-15)","author":"N Carriero","year":"1986","unstructured":"Carriero N, Gelernter D, Leichter J. Distributed Data Structures in Linda. In: proc. of the ACM Symposium on Principles of Programming Languages (St. Petersburg, Fla., Jan.13-15). ACM, New York, 1986, pp 236\u2013242"},{"key":"9_CR8","volume-title":"Department of Computer Science","author":"P Ciancarini","year":"1990","unstructured":"Ciancarini P, Yanchelevich D. Inside Linda. Technical Report, Yale University, Department of Computer Science, 1990"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1049\/sej.1991.0023","volume":"6","author":"P Butcher","year":"1991","unstructured":"Butcher P. A behavioural semantics for Linda-2. Software Engineering Journal 1991; 6 (4): 196\u2013204","journal-title":"Software Engineering Journal"},{"key":"9_CR10","volume-title":"Draft","author":"KK Jensen","year":"1991","unstructured":"Jensen KK. A Formal Linda Definition. Draft, February 1991"},{"key":"9_CR11","volume-title":"The Semantics of a Parallel Language based on a Shared Data Space. Technical Report: TR-26\/92","author":"P Ciancarini","year":"1992","unstructured":"Ciancarini P, Jensen KK, Yankelevich D. The Semantics of a Parallel Language based on a Shared Data Space. Technical Report: TR-26\/92, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1992"},{"key":"9_CR12","volume-title":"Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University","author":"GDA Plotkin","year":"1981","unstructured":"Plotkin GD. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, Dep. of Computer Science, Denmark, 1981"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J Bergstra","year":"1984","unstructured":"Bergstra J, Klop JW. Process Algebra for Synchronous Communication. Infor-mation and Control 1984; 60: 109\u2013137","journal-title":"Infor-mation and Control"},{"key":"9_CR14","volume-title":"The MIT Press","author":"M Hennessy","year":"1988","unstructured":"Hennessy M. Algebraic Theory of Processes. The MIT Press, 1988"},{"key":"9_CR15","volume-title":"Prentice-Hall Int","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR. Communicating Sequential Processes. Prentice-Hall Int., 1985"},{"key":"9_CR16","volume-title":"Prentice Hall International","author":"R Milner","year":"1989","unstructured":"Milner R. Communication and Concurrency. Prentice Hall International, 1989"},{"key":"9_CR17","volume-title":"Observational Semantics for an Asynchronous Language. Research Report: SI\/RR - 94\/06","author":"R De Nicola","year":"1994","unstructured":"De Nicola R, Pugliese R. Testing Linda: an Observational Semantics for an Asynchronous Language. Research Report: SI\/RR - 94\/06, Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, 1994"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BF01178776","volume":"29","author":"JCM Baeten","year":"1992","unstructured":"Baeten JCM, Vandrager FM. An Algebra for Process Creation. Acta Informatica 1992; 29 (4): 303\u2013334","journal-title":"Acta Informatica"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R De Nicola","year":"1984","unstructured":"De Nicola R, Hennessy MCB. Testing Equivalence for Processes. Theoretical Computers Science 1984; 34: 83\u2013133","journal-title":"Theoretical Computers Science"},{"key":"9_CR20","volume-title":"The Failure of Failures in a Paradigm for Asynchronous Communication","author":"FS de Boer","year":"1991","unstructured":"de Boer FS, Kok JN, Palamidessi C, et al. The Failure of Failures in a Paradigm for Asynchronous Communication. In: proc. of Concur \u201991. Springer-Verlag, 1991, pp 111\u2013126 (Lecture Notes in Computer Science no.527)"},{"key":"9_CR21","volume-title":"Reasoning about VHDL Using Operational and Observational Semantics","author":"KGW Goosens","year":"1995","unstructured":"Goossens KGW. Reasoning about VHDL Using Operational and Observational Semantics. Research Report: SI\/RR - 95\/06, Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, 1995"},{"key":"9_CR22","volume-title":"IEEE std 1076\u20131993 edition","author":"The Institute of Electrical and Electronics Engineers","year":"1993","unstructured":"The Institute of Electrical and Electronics Engineers. IEEE Standard VHDL Language Reference Manual. IEEE std 1076\u20131993 edition, 1993"},{"issue":"4","key":"9_CR23","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1145\/322217.322232","volume":"27","author":"RE Ladner","year":"1980","unstructured":"Ladner RE, Fisher MJ. Parallel Prefix Computation. Journal of the ACM 1980; 27 (4): 831\u2013838","journal-title":"Journal of the ACM"}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T22:25:17Z","timestamp":1675203917000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_9","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}