{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:53:46Z","timestamp":1725515626161},"publisher-location":"Boston, MA","reference-count":13,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096797"},{"type":"electronic","value":"9780387096803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-0-387-09680-3_22","type":"book-chapter","created":{"date-parts":[[2008,7,21]],"date-time":"2008-07-21T07:37:14Z","timestamp":1216625834000},"page":"317-332","source":"Crossref","is-referenced-by-count":4,"title":["Finite Equational Bases for Fragments of CCS with Restriction and Relabelling"],"prefix":"10.1007","author":[{"given":"Luca","family":"Aceto","sequence":"first","affiliation":[]},{"given":"Anna","family":"Ing\u00f3lfsd\u00f3ttir","sequence":"additional","affiliation":[]},{"given":"Bas","family":"Luttik","sequence":"additional","affiliation":[]},{"given":"Paul","family":"van Tilburg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Aceto, L., Fokkink, W., Ing\u00f3lfsd\u00f3ttir, A., Luttik, B.: A finite equational base for CCS with left merge and communication merge. ACM Trans. Comput. Log. (2008). To appear (available as http:\/\/tocl.acm.org\/accepted\/310luttik.pdf)."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Bergstra, J.A.: Global renaming operators in concrete process algebra. Information and Computation 78(3), 205\u2013245 (1988)","DOI":"10.1016\/0890-5401(88)90027-2"},{"issue":"1-3","key":"22_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Control 60(1-3), 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society 31, 433\u2013454 (1935)","DOI":"10.1017\/S0305004100013463"},{"issue":"4","key":"22_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1093\/comjnl\/37.4.233","volume":"37","author":"S. Christensen","year":"1994","unstructured":"Christensen, S., Hirshfeld, Y., Moller, F.: Decidable subsets of CCS. The Computer Journal 37(4), 233\u2013242 (1994)","journal-title":"The Computer Journal"},{"issue":"1","key":"22_CR6","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 the ACM (JACM) 32(1), 137\u2013161 (1985)","journal-title":"Journal of the ACM (JACM)"},{"issue":"4","key":"22_CR7","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1145\/322154.322167","volume":"26","author":"R. Milner","year":"1979","unstructured":"Milner, R.: Flowgraphs and flow algebras. Journal of the ACM (JACM) 26(4), 794\u2013818 (1979)","journal-title":"Journal of the ACM (JACM)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"22_CR9","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"22_CR10","unstructured":"Milner, R., Moller, F.: Unique decomposition of processes. Theoret. Comput. Sci. 107, 357\u2013363 (1993)"},{"key":"22_CR11","unstructured":"Moller, F.: Axioms for Concurrency. Ph.D. thesis (1989)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: P. Deussen (ed.) 5$th$ GI Conference, it Lecture Notes in Computer Science, vol. 104, pp. 167\u2013183. Springer (1981)","DOI":"10.1007\/BFb0017309"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"de Simone, R.: Higher level synchronization devices in SCCS-Meije. Theoretical Computer Science 37, 245\u2013267 (1985)","journal-title":"Theoretical Computer Science"}],"container-title":["IFIP International Federation for Information Processing","Fifth Ifip International Conference On Theoretical Computer Science \u2013 Tcs 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09680-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T16:22:59Z","timestamp":1557678179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09680-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780387096797","9780387096803"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09680-3_22","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2008]]}}}