{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:20Z","timestamp":1725662900473},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_83","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:31:57Z","timestamp":1330191117000},"page":"172-182","source":"Crossref","is-referenced-by-count":5,"title":["Semantics of CSP via translation into CCS"],"prefix":"10.1007","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","unstructured":"Astesiano E. and Zucca E., Semantics by translation of CSP and its equivalence with B-semantics. To appear as Rapporto Scientifico of the Institute of Math., Genova (Italy), 1981."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Astesiano E. and Zucca E., Semantics of DP via translation into CCS, available as Rapporto Scientifico of the Institute of Math., Genova (Italy), April 1981, submitted for publication.","DOI":"10.1007\/3-540-10856-4_83"},{"key":"14_CR3","first-page":"3","volume":"19","author":"N. Francez","year":"1979","unstructured":"Francez N., Hoare C.A.R., Lehmann D.J. and deRoever W.P., Semantics of non determinism, concurrency and communication, JCSS, 19,3,1979.","journal-title":"JCSS"},{"key":"14_CR4","first-page":"280","volume":"107","author":"N. Francez","year":"1981","unstructured":"Francez N., Rodeh M. and Sintzoff M., Distributed termination with interval assertion, Proceedings of ICFPC, LNCS, 107,pg.280\u2013291,1981.","journal-title":"Proceedings of ICFPC"},{"key":"14_CR5","first-page":"8","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare C.A.R., Communicating Sequential Processes, Comm.ACM, 21,8,1978.","journal-title":"Comm.ACM"},{"key":"14_CR6","volume-title":"A first attempt at translating CSP into CCS","author":"M. Hennessy","year":"1981","unstructured":"Hennessy M., Li W. and Plotkin G., A first attempt at translating CSP into CCS, Proc. of the 2nd International Conference on Distributed Computing Systems, IEEE Comp. Society Press, Maryland, 1981."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Hennessy M. and Plotkin G., A term model for CCS, Proc. MFCS 80, LNCS 88, Springer Verlag, 1980.","DOI":"10.1007\/BFb0022510"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Milner R., A Calculus of Communicating Systems, LNCS 92, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/322123.322134","volume":"26","author":"G. Milne","year":"1979","unstructured":"Milne G. and Milner R., Concurrent processes and their syntax, JACM, 26,2,1979.","journal-title":"JACM"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/322154.322167","volume":"26","author":"R. Milner","year":"1979","unstructured":"Milner R., Flowgraphs and flow algebras, JACM, 26,4,1979.","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_83.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:05Z","timestamp":1605643445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}