{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:01Z","timestamp":1748071621617},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657187"},{"type":"electronic","value":"9783540490203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-49020-3_11","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T07:40:24Z","timestamp":1286955624000},"page":"161-175","source":"Crossref","is-referenced-by-count":3,"title":["On the Evolution of Reactive Components"],"prefix":"10.1007","author":[{"given":"Markus","family":"M\u00fcller-Olm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Process Algebra. Cambridge Tracts in Theoretical Computer Science","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BFb0039057","volume-title":"CONCUR \u201990","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R., Steffen, B.: A preorder for partial process specification. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 141\u2013151. Springer, Heidelberg (1990)"},{"key":"11_CR3","volume-title":"Algebraic Theory of Processes","author":"M.C. Hennessy","year":"1988","unstructured":"Hennessy, M.C.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"key":"11_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)"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM TOPLAS\u00a05(4), 596\u2013619 (1983)","journal-title":"ACM TOPLAS"},{"key":"11_CR6","unstructured":"Larsen, K.G.: Context-Dependent Bisimulation Between Processes. PhD thesis, University of Edinburgh (1986)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201990","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G.: Ideal specification formalism = expressivity + compositionality + decidability + testablity + \u22ef. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458. Springer, Heidelberg (1990)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0032056","volume-title":"Automata, Languages and Programming","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G., Xinxin, L.: Compositionality through an operational semantics of contexts. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 526\u2013539. Springer, Heidelberg (1990)"},{"key":"11_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","first-page":"561","volume-title":"Automata, Languages and Programming","author":"D.M.R. Park","year":"1981","unstructured":"Park, D.M.R.: Concurrency and automata on infinite sequences. In: D\u00edaz, J. (ed.) ICALP 1983. LNCS, vol.\u00a0154, pp. 561\u2013572. Springer, Heidelberg (1981)"},{"key":"11_CR11","first-page":"186","volume-title":"LICS 1988","author":"D.J. Walker","year":"1988","unstructured":"Walker, D.J.: Bisimulations and divergence. In: LICS 1988, pp. 186\u2013192. IEEE Computer Society, Los Alamitos (1988)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49020-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T11:41:50Z","timestamp":1553168510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49020-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657187","9783540490203"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49020-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}