{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:18Z","timestamp":1762458978042},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_53","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:16:46Z","timestamp":1330179406000},"page":"138-152","source":"Crossref","is-referenced-by-count":48,"title":["CCS without \u03c4's"],"prefix":"10.1007","author":[{"given":"Rocco","family":"Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Hennessy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"11_CR1","volume-title":"Algebre de Processus et Synchronization. Theoret. Comput. Sci. Vol. 30, No. 1","author":"D. Austry","year":"1984","unstructured":"Austry, D. and Boudol, G. Algebre de Processus et Synchronization. Theoret. Comput. Sci. Vol. 30, No. 1 North Holland, Amsterdam, (1984)."},{"issue":"1\u20132","key":"11_CR2","first-page":"136","volume":"44","author":"J. Bakker de","year":"1982","unstructured":"de Bakker, J. and Zucker, J., Processes and the Denotational Semantics of Concurrency. Information and Control, Vol 44, Nos. 1\u20132, pp.136\u2013176, (1982).","journal-title":"Information and Control"},{"key":"11_CR3","unstructured":"Brookes,S.D. A Model for Communicating Sequential Processes. Ph.D. Thesis, University of Oxford. Also Carnegie Mellon University Internal Report, CMU-CS-149, (1983)."},{"issue":"3","key":"11_CR4","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R. and Roscoe, A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No. 3, pp. 560\u2013599, (1984).","journal-title":"Journal of ACM"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Begstra","year":"1984","unstructured":"Begstra, J. and Klop, G. Process Algebra for Synchronous Communication, Information and Control, Vol 60, pp.109\u2013137, (1984).","journal-title":"Information and Control"},{"key":"11_CR6","first-page":"83","volume-title":"Theoret. Comput. Sci., Vol.34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R. and Hennessy, M. Testing Equivalences for Processes. Theoret. Comput. Sci., Vol.34, pp. 83\u2013133, North Holland, Amsterdam, (1984)."},{"issue":"1\u20133","key":"11_CR7","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/S0019-9958(85)80048-6","volume":"64","author":"R. Nicola De","year":"1985","unstructured":"De Nicola, R. Two Complete Set of Axioms for a Theory of Communicating Sequential Processes. Information and Control, Vol 64, Nos. 1\u20133, pp.136\u2013176, (1985).","journal-title":"Information and Control"},{"key":"11_CR8","unstructured":"De Nicola, R. Fully Abstract Models and Testing Equivalences for Communicating Processes. Ph.D. Thesis, University of Edinburgh CST-36-85, (1985)."},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. Initial Algebra Semantics and Continuous Algebras. Journal of ACM, Vol. 24, No. 1, pp. 68\u201395, (1977).","journal-title":"Journal of ACM"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Guessarian, I. Algebraic Semantics. LNCS 99, (1981).","DOI":"10.1007\/3-540-10284-1"},{"issue":"1\u20133","key":"11_CR11","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/S0019-9958(83)80029-1","volume":"59","author":"M. Hennessy","year":"1983","unstructured":"Hennessy, M. Synchronous and Asynchronous Experiments on Processes. Information and Control Vol. 59, Nos. 1\u20133, pp. 36\u201383, (1983).","journal-title":"Information and Control"},{"key":"11_CR12","unstructured":"Hennessy,M. An Algebraic Theory of Processes. Lecture Notes, Aarhus University, (1985)."},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Acceptance Trees, Journal of ACM, Vol. 32, No 4, pp. 896\u2013928, (1985).","journal-title":"Journal of ACM"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R. Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, Vol.32, No. 1, pp. 137\u2013161, (1985).","journal-title":"Journal of ACM"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Hoare,C.A.R. Communicating Sequential Processes. Prentice Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"11_CR16","unstructured":"International Standard Organization, LOTOS-A Formal Description Technique. Internal Report Twente University of Technology and ISO\/TC97\/SC21 Draft Proposal 8807, (1986)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Milner,R. A Calculus of Communicating Systems, LNCS 92, (1980).","DOI":"10.1007\/3-540-10235-3"},{"issue":"2","key":"11_CR18","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G. Milne","year":"1985","unstructured":"Milne, G. CIRCAL and the Representation of Communication, Concurrency and Time. ACM Toplas Vol. 7, No. 2, pp. 270\u2013298, (1985).","journal-title":"ACM Toplas"},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E-R Olderog","year":"1986","unstructured":"Olderog, E-R, Hoare C.A.R. Specification-Oriented Semantics for Communicating Processes, Acta Informatica Vol. 23, pp. 9\u201366, (1986).","journal-title":"Acta Informatica"},{"key":"11_CR20","unstructured":"Plotkin, G. A Structural Approach to Operational Semantics, Lecture Notes, Aarhus University, (1981)."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T20:58:11Z","timestamp":1640897891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}