{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:48Z","timestamp":1725663648256},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_85","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:47:00Z","timestamp":1330210020000},"page":"127-141","source":"Crossref","is-referenced-by-count":8,"title":["Embedding as a tool for language comparison: On the CSP hierarchy"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"Boer","sequence":"first","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"issue":"12","key":"11_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(87)90052-1","volume":"51","author":"J.C.M. Baeten","year":"1987","unstructured":"J.C.M. Baeten, J.A. Bergstra, and J.-W. Klop. On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science, 51(1,2):129\u2013176, 1987.","journal-title":"Theoretical Computer Science"},{"key":"11_CR2","unstructured":"J.A. Bergstra and J.-W. Klop. Process algebra: specification and verification in bisimulation semantics. In Mathematics and Computer Science II, CWI Monographs, pages 61\u201394. North-Holland, 1986."},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00263584","volume":"25","author":"L. Boug\u00e9","year":"1988","unstructured":"L. Boug\u00e9. On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes. Acta Informatica, 25:179\u2013201, 1988.","journal-title":"Acta Informatica"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of ACM, 31:499\u2013560, 1984.","journal-title":"Journal of ACM"},{"key":"11_CR5","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0096-0551(75)90032-6","volume":"1","author":"A.K. Chandra","year":"1975","unstructured":"A.K. Chandra and Z. Manna. The power of programming features. J. Computer Languages, 1:219\u2013232, 1975.","journal-title":"J. Computer Languages"},{"key":"11_CR6","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The failure of failures: Towards a paradigm for asynchronous communication. Technical Report RUU-CS-90-40, Department of Computer Science, University of Utrecht, 1990. A short version of this paper will appear in Proc. of CONCUR 91."},{"key":"11_CR7","unstructured":"F.S. de Boer and C. Palamidessi. Concurrent logic languages: Asynchronism and language comparison. In Proc. of the North American Conference on Logic Programming, Series in Logic Programming, pages 175\u2013194. The MIT Press, 1990. Full version available as technical report TR 6\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa."},{"key":"11_CR8","series-title":"Technical Report","volume-title":"Embedding as a tool for language comparison","author":"F.S. Boer de","year":"1991","unstructured":"F.S. de Boer and C. Palamidessi. Embedding as a tool for language comparison. Technical Report CS-R9102, Centre for Mathematics and Computer Science (CWI), Amsterdam, 1991."},{"issue":"3","key":"11_CR9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"R. de Simone. Higher-level synchronising devices in MEIJE-SCCS. Theoretical Computer Science, 37(3):245\u2013267, 1985.","journal-title":"Theoretical Computer Science"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"M. Felleisen. On the expressive power of programming languages. In N. Jones, editor, Proc. of the European Symposium on Programming, volume 432 of Lecture Notes in Computer Science, pages 134\u2013151. Springer-Verlag, 1990. Full version to appear in Science of Computer Programming.","DOI":"10.1007\/3-540-52592-0_60"},{"issue":"8","key":"11_CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"11_CR12","unstructured":"He Jifeng, M.B. Josephs, and C.A.R. Hoare. A theory of synchrony and asynchrony. In Proc. of IFIP Working Conference on Programming Concepts and Methods, pages 459\u2013478, 1990."},{"key":"11_CR13","unstructured":"M.B. Josephs, C.A.R. Hoare, and He Jifeng. A theory of asynchronous processes. Technical report, Oxford University Computing Laboratories, 1990."},{"issue":"9","key":"11_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"3","author":"P.J. Landin","year":"1966","unstructured":"P.J. Landin. The next 700 programming languages. Communications of the ACM, 3(9):157\u2013166, 1966.","journal-title":"Communications of the ACM"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"J. Parrow. The expressive power of parallelism. In Proc. of PARLE 89, volume 366 of Lecture Notes in Computer Science, pages 389\u2013405. Springer-Verlag, 1989. Revised and extended version in SICS Research Report R90016.","DOI":"10.1007\/3-540-51285-3_54"},{"key":"11_CR16","unstructured":"M.S. Paterson and C.E. Hewitt. Comparative schematology. In Conf. Rec. ACM Conference on Concurrent Systems and Parallel Computation, pages 119\u2013127, 1970."},{"issue":"13","key":"11_CR17","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/362349.362364","volume":"5","author":"J.C. Reynolds","year":"1970","unstructured":"J.C. Reynolds. GEDANKEN \u2014 a symple typeless language based on the principle of completeness and the reference concept. Communications of the ACM, 5(13):308\u2013319, 1970.","journal-title":"Communications of the ACM"},{"key":"11_CR18","first-page":"345","volume-title":"Algorithmic Languages","author":"J.C. Reynolds","year":"1981","unstructured":"J.C. Reynolds. The essence of Algol. In J. de Bakker and van Vliet, editors, Algorithmic Languages, pages 345\u2013372. North-Holland, Amsterdam, 1981."},{"key":"11_CR19","first-page":"232","volume-title":"Concurrent constraint programming","author":"V.A. Saraswat","year":"1990","unstructured":"V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. of the seventeenth ACM Symposium on Principles of Programming Languages, pages 232\u2013245. ACM, New York, 1990."},{"issue":"3","key":"11_CR20","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E.Y. Shapiro","year":"1989","unstructured":"E.Y. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412\u2013510, 1989.","journal-title":"ACM Computing Surveys"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Separating concurrent languages with categories of language embeddings. In Proc. of STOCS, 1991. To appear.","DOI":"10.1145\/103418.103423"},{"key":"11_CR22","unstructured":"G.L.Jr. Steele and G.J. Sussman. Lambda: The ultimate imperative. Technical Report Memo 353, MIT AI Lab., 1976."},{"key":"11_CR23","series-title":"Technical report","volume-title":"Expressiveness results for process algebra","author":"F. Vaandrager","year":"1991","unstructured":"F. Vaandrager. Expressiveness results for process algebra. Technical report, MIT Lab. for Comp. Sci., Cambridge, USA, 1991."}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:24Z","timestamp":1605646464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}