{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:21Z","timestamp":1725664821742},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610526"},{"type":"electronic","value":"9783540499367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61052-9_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:12:13Z","timestamp":1330290733000},"page":"160-178","source":"Crossref","is-referenced-by-count":18,"title":["A process algebra based on Linda"],"prefix":"10.1007","author":[{"given":"Rocco","family":"Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"11_CR1","series-title":"LNCS 527","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/3-540-54430-5_82","volume-title":"Proceedings of CONCUR 91","author":"L. Aceto","year":"1991","unstructured":"L.Aceto, A.Ingolfsdottir. A Theory of Testing for ACP. Proceedings of CONCUR 91, J.C.M. Baeten and J.F. Groote, editors, LNCS 527, pages 78\u201395, Springer-Verlag, Berlin, 1991."},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"J. Bergstra, J.W. Klop. Process Algebra for Synchronous Communication. Information and Control, 60:109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"11_CR3","series-title":"LNCS 197","first-page":"76","volume-title":"Process Algebra with Asynchronous Communication Mechanisms","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra, J.W. Klop, J.V. Tucker. Process Algebra with Asynchronous Communication Mechanisms. Proceedings of Seminar in Concurrency, S.D. Brookes, A.W. Roscoe and G. Winskel, editors, LNCS 197, pages 76\u201395, Springer-Verlag, Berlin, 1985."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"F.S. de Boer, J.W. Klop, C. Palamidessi. Asynchronous Communication in Process Algebra. Proceedings of LICS, 1992.","DOI":"10.1109\/LICS.1992.185528"},{"key":"11_CR5","series-title":"LNCS 458","first-page":"99","volume-title":"Proceedings of CONCUR'90","author":"F.S. Boer de","year":"1990","unstructured":"F.S. de Boer, C. Palamidessi. On the asynchronous nature of communication in concurrent logic languages: a fully abstract model based on sequences. Proceedings of CONCUR'90, LNCS 458, pages 99\u2013114, Springer-Verlag, Berlin, 1990."},{"key":"11_CR6","volume-title":"Asynchrony in the \u03c0-calculus","author":"G. Boudol","year":"1992","unstructured":"G. Boudol. Asynchrony in the \u03c0-calculus. Unpublished manuscript, INRIA Sophia-Antipolis, 1992."},{"issue":"4","key":"11_CR7","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero, D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444\u2013458, 1989.","journal-title":"Communications of the ACM"},{"key":"11_CR8","first-page":"236","volume-title":"Distributed Data Structures in Linda","author":"N. Carriero","year":"1986","unstructured":"N. Carriero, D. Gelernter, J. Leichter. Distributed Data Structures in Linda. Proceedings of the ACM Symposium on Principles of Programming Languages (St. Petersburg, Fla., Jan.13\u201315), ACM, New York, pages 236\u2013242, 1986."},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola, M.C.B. Hennessy. Testing Equivalence for Processes. Theoretical Computers Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computers Science"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-17660-8_53","volume":"249","author":"R. Nicola De","year":"1987","unstructured":"R. De Nicola, M.C.B. Hennessy. CCS without \u03c4's. Proceedings of TAPSOFT'87, LNCS 249, pages 138\u2013152, 1987.","journal-title":"Proceedings of TAPSOFT'87, LNCS"},{"key":"11_CR11","unstructured":"R. De Nicola, R. Pugliese. Testing Linda: an Observational Semantics for an Asynchronous Language. Research Report: SI\/RR-94\/06, Dipartimento di Scienze dell'Informazione, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, 1994."},{"key":"11_CR12","series-title":"Series Workshops in Computing","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-1-4471-3078-9_9","volume-title":"Proceedings of STRICT'95","author":"R. Nicola De","year":"1995","unstructured":"R. De Nicola, R. Pugliese. An Observational Semantics for Linda. Proceedings of STRICT'95, pp.129\u2013143, Jorg Desel(ed.), Series Workshops in Computing, Springer-Verlag, Berlin, 1995."},{"issue":"1","key":"11_CR13","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR14","unstructured":"M. Hansen, H. Huttel, J. Kleist. Bisimulations for Asynchronous Mobile Processes. Draft, Department of Mathematics and Computer Science Aalborg University, 1994."},{"key":"11_CR15","unstructured":"M.C.B. Hennessy. Algebraic Theory of Processes. The MIT Press, 1988."},{"issue":"2","key":"11_CR16","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1006\/inco.1993.1067","volume":"107","author":"M.C.B. Hennessy","year":"1993","unstructured":"M.C.B. Hennessy, A. Ingolfsdottir. A theory of communicating processes with value-passing. Information and Computation, 107(2)202\u2013236, 1993.","journal-title":"Information and Computation"},{"key":"11_CR17","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/BF01642508","volume":"3","author":"M.C.B. Hennessy","year":"1993","unstructured":"M.C.B. Hennessy, A. Ingolfsdottir. Communicating processes with value-passing and assignment. Journal of Formal Aspects of Computing Science, pages 3:346\u2013366, 1993.","journal-title":"Journal of Formal Aspects of Computing Science"},{"key":"11_CR18","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985."},{"key":"11_CR19","series-title":"LNCS 512","first-page":"133","volume-title":"Proceedings of ECOOP'91","author":"K. Honda","year":"1991","unstructured":"K. Honda, M. Tokoro. An Object Calculus for Asynchronous Communication. Proceedings of ECOOP'91, LNCS 512, pages 133\u2013147, Springer-Verlag, Berlin, 1991."},{"key":"11_CR20","series-title":"LNCS 612","first-page":"21","volume-title":"Proceedings of ECOOP'91","author":"K. Honda","year":"1991","unstructured":"K. Honda, M. Tokoro. On Asynchronous Communication Semantics. Proceedings of ECOOP'91, LNCS 612, pages 21\u201351, Springer-Verlag, Berlin, 1991."},{"key":"11_CR21","unstructured":"A. Ingolfsdottir. Semantic Models for Communicating Processes with Value-Passing. Ph.D. Thesis, University of Edinburgh, 1994."},{"key":"11_CR22","unstructured":"H. Jifeng, M.B. Josephs, C.A.R. Hoare. A Theory of Synchrony and Asynchrony. Proceedings of the IFIP Working Conference on Programming Concepts and Methods, pages 446\u2013465, 1990."},{"key":"11_CR23","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall International, 1989."},{"key":"11_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, D. Walker. A calculus of mobile processes, (Part I and II). Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"11_CR25","volume-title":"Technical Report DAIMI FN-19","author":"G.D. Plotkin","year":"1981","unstructured":"G.D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, Dep. of Computer Science, Denmark, 1981."},{"key":"11_CR26","unstructured":"R. Pugliese. A Process Calculus with Asynchronous Communications. In Proc. Italian Conference on Theoretical Computer Science '95, Ravello, 1995. (to appear)"},{"key":"11_CR27","unstructured":"R. Pugliese. Semantic Theories for Asynchronous Languages. Ph.D. Thesis, Draft, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, 1995."}],"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-61052-9_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:59Z","timestamp":1619573339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61052-9_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610526","9783540499367"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-61052-9_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}