{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T12:32:42Z","timestamp":1749213162518},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180883"},{"type":"electronic","value":"9783540477471"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18088-5_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:28:10Z","timestamp":1330180090000},"page":"84-94","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Another look at abstraction in process algebra"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"R. J.","family":"van Glabbeek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"unstructured":"J.C.M.Baeten, J.A.Bergstra & J.W.Klop, Conditional axioms and \u03b1\/\u03b2-calculus in process algebra, report CS-R8502, Centre for Math. & Comp. Sci., Amsterdam 1985, to appear in: Proc. IFIP Conf. on Formal Description of Progr. Concepts (M.Wirsing, ed.), Gl. Avern\u00e6s 1986, North-Holland.","key":"8_CR1"},{"doi-asserted-by":"crossref","unstructured":"J.C.M.Baeten, J.A.Bergstra & J.W.Klop, On the consistency of Koomen's fair abstraction rule, to appear in Theor. Comp. Sci. 51 (1\/2).","key":"8_CR2","DOI":"10.1016\/0304-3975(87)90052-1"},{"key":"8_CR3","volume-title":"Another look at abstraction in process algebra, report CS-R8701","author":"J. C. Baeten","year":"1987","unstructured":"J.C. Baeten & R.J. van Glabbeek, Another look at abstraction in process algebra, report CS-R8701, Centre for Math. & Comp. Sci., Amsterdam 1987."},{"issue":"1\/3","key":"8_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. A. Bergstra","year":"1984","unstructured":"J.A. Bergstra & J.W. Klop, Process algebra for synchronous communication, Inf. & Control 60 (1\/3), pp. 109\u2013137, 1984.","journal-title":"Inf. & Control"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. A. Bergstra","year":"1985","unstructured":"J.A. Bergstra & J.W. Klop, Algebra of communicating processes with abstraction, Theor. Comp. Sci. 37 (1), pp. 77\u2013121, 1985.","journal-title":"Theor. Comp. Sci."},{"unstructured":"J.A.Bergstra & J.W.Klop, Algebra of communicating processes, Proc. CWI Symp. Math. & Comp. Sci. (J. de Bakker, M.Hazewinkel & J.Lenstra eds.), pp. 89\u2013138, North-Holland, 1986.","key":"8_CR6"},{"unstructured":"J.A.Bergstra, J.W.Klop & E.-R.Olderog, Failures without chaos: a new process semantics for fair abstraction, report CS-R8625, Centre for Math. & Comp. Sci., Amsterdam 1986, to appear in: Proc. IFIP Conf. on Formal Description of Progr. Concepts (M.Wirsing, ed.), Gl. Avern\u00e6s 1986, North-Holland.","key":"8_CR7"},{"issue":"3","key":"8_CR8","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare & A.W. Roscoe, A theory of communicating sequential processes, JACM 31 (3), pp. 560\u2013599, 1984.","journal-title":"JACM"},{"key":"8_CR9","first-page":"336","volume":"247","author":"R. J. Glabbeek van","year":"1987","unstructured":"R.J. van Glabbeek, Bounded nondeterminism and the approximation induction principle in process algebra, Proc. STACS 87 (F.Brandenburg, G.Vidal-Naquet & M.Wirsing, eds.), Springer LANCS 247, pp. 336\u2013347, 1987.","journal-title":"Springer LANCS"},{"doi-asserted-by":"crossref","unstructured":"C.A.R.Hoare, Communicating sequential processes, Prentice Hall 1985.","key":"8_CR10","DOI":"10.1007\/978-3-642-82921-5_4"},{"doi-asserted-by":"crossref","unstructured":"R.Milner, A calculus of communicating systems, Springer LNCS 92, 1980.","key":"8_CR11","DOI":"10.1007\/3-540-10235-3"},{"doi-asserted-by":"crossref","unstructured":"R.Milner, Lectures on a calculus of communicating systems, (S.D.Brookes, A.W.Roscoe & G.Winskel, eds.), pp. 197\u2013220, Springer LNCS 197, 1985.","key":"8_CR12","DOI":"10.1007\/3-540-15670-4_10"},{"key":"8_CR13","first-page":"167","volume":"104","author":"D. M. R. R. Park","year":"1981","unstructured":"D.M.R. Park, Concurrency and automata on infinite sequences, Proc. 5th GI Conf.(P. Deussen, ed.), Springer LNCS 104, pp. 167\u2013183, 1981.","journal-title":"Springer LNCS"},{"key":"8_CR14","volume-title":"The algebra of communicating processes with empty process, report FVI 86-01","author":"J. L. M. M. Vrancken","year":"1986","unstructured":"J.L.M. Vrancken, The algebra of communicating processes with empty process, report FVI 86-01, Dept. of Comp. Sci., Univ. of Amsterdam 1986."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18088-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:02:24Z","timestamp":1578517344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18088-5_8"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180883","9783540477471"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-18088-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}