{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T22:33:45Z","timestamp":1649111625102},"reference-count":11,"publisher":"Elsevier BV","issue":"5-6","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1999,9]]},"DOI":"10.1016\/s0020-0190(99)00109-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:21:21Z","timestamp":1027606881000},"page":"229-233","source":"Crossref","is-referenced-by-count":1,"title":["Communication errors in the -calculus are undecidable"],"prefix":"10.1016","volume":"71","author":[{"given":"Vasco T.","family":"Vasconcelos","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Ravara","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0020-0190(99)00109-X_ID005","series-title":"Research Topics in Functional Programming","first-page":"65","article-title":"The lazy lambda calculus","author":"Abramsky","year":"1989"},{"issue":"8","key":"10.1016\/S0020-0190(99)00109-X_ID006","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF01191894","article-title":"An efficiency preorder of processes","volume":"29","author":"Arun-Kumar","year":"1992","journal-title":"Acta Inform."},{"key":"10.1016\/S0020-0190(99)00109-X_ID007","series-title":"Asynchrony and the \u03c0-calculus (Note)","author":"Boudol","year":"1992"},{"key":"10.1016\/S0020-0190(99)00109-X_ID008","series-title":"Computability: An Introduction to Recursive Function Theory","author":"Cutland","year":"1980"},{"key":"10.1016\/S0020-0190(99)00109-X_ID009","series-title":"Introduction to Combinators and \u03bb-Calculus","author":"Hindley","year":"1986"},{"key":"10.1016\/S0020-0190(99)00109-X_ID010","series-title":"5th European Conference on Object-Oriented Programming","first-page":"141","article-title":"An object calculus for asynchronous communication","volume":"512","author":"Honda","year":"1991"},{"issue":"2","key":"10.1016\/S0020-0190(99)00109-X_ID011","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","article-title":"Functions as processes","volume":"2","author":"Milner","year":"1992","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/S0020-0190(99)00109-X_ID012","series-title":"Logic and Algebra of Specification, Proceedings of International NATO Summer School (Marktoberdorf, Germany, 1991)","article-title":"The polyadic \u03c0-calculus: A tutorial","author":"Milner","year":"1993"},{"key":"10.1016\/S0020-0190(99)00109-X_ID013","series-title":"Lazy functions and mobile processes","author":"Sangiorgi","year":"1995"},{"key":"10.1016\/S0020-0190(99)00109-X_ID014","series-title":"3rd International Conference on Concurrency Theory","first-page":"32","article-title":"The problem of \u201cweak bisimulation up to\u201d","volume":"630","author":"Sangiorgi","year":"1992"},{"key":"10.1016\/S0020-0190(99)00109-X_ID015","series-title":"4th International Conference on Concurrency Theory","first-page":"524","article-title":"Principal typing schemes in a polyadic \u03c0-calculus","volume":"715","author":"Vasconcelos","year":"1993"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S002001909900109X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S002001909900109X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T18:50:18Z","timestamp":1556045418000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S002001909900109X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":11,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["S002001909900109X"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(99)00109-x","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}