{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:28Z","timestamp":1725550648715},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_20","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"303-317","source":"Crossref","is-referenced-by-count":1,"title":["Linking Theories of Concurrency"],"prefix":"10.1007","author":[{"given":"He","family":"Jifeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. A. R.","family":"Hoare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"20_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Sciences\u00a037(1), 77\u2013121 (1985)","journal-title":"Theoretical Computer Sciences"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM\u00a031 (1984)","DOI":"10.1145\/828.833"},{"issue":"1","key":"20_CR3","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0304-3975(03)00200-7","volume":"309","author":"P. Gardiner","year":"2003","unstructured":"Gardiner, P.: Power simulation and its relation to Traces and Failures Refinement. Theoretical Computer Science\u00a0309(1), 157\u2013176 (2003)","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"20_CR5","volume-title":"Unifying theories of programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying theories of programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and control\u00a094(1) (1991)","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"20_CR7","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"20_CR8","volume-title":"Communicating and mobile systems: the \u03c0 -calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0 -calculus. Cambridge University Press, Cambridge (1999)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed simulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theoretical Computer Science\u00a034 (1983)","DOI":"10.1007\/BFb0036936"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"D.M.R. Park","year":"1980","unstructured":"Park, D.M.R.: Concurrency and automata on infinite sequences. In: Loeckx, J. (ed.) ICALP 1980. LNCS, vol.\u00a014. Springer, Heidelberg (1980)"},{"key":"20_CR12","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Report DAIMI-FN-19, Computer Science Department, Arhus University, Denmark (1981)"},{"key":"20_CR13","volume-title":"The theory and practice of concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The theory and practice of concurrency. Prentice Hall, Englewood Cliffs (1998)"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixedpoint theorem and its applications. Pacific Journal of Mathematics, Vil\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics, Vil"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T11:08:05Z","timestamp":1586516885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11560647_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}