{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:14Z","timestamp":1725567794006},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653097"},{"type":"electronic","value":"9783540494393"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/10692867_6","type":"book-chapter","created":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T14:43:19Z","timestamp":1287672199000},"page":"133-153","source":"Crossref","is-referenced-by-count":0,"title":["Combining and Distributing Hierarchical Systems"],"prefix":"10.1007","author":[{"given":"Chris","family":"George","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0110\u1ed7 Ti\u1ebfn","family":"D\u0169ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"BCS Practitioner Series","volume-title":"The RAISE Development Method","author":"The RAISE Method Group","year":"1995","unstructured":"The RAISE Method Group: The RAISE Development Method. BCS Practitioner Series. Prentice Hall, Englewood Cliffs (1995)"},{"key":"6_CR2","unstructured":"Dung, D.T., Chi, L.L., Thu, N.L., Nam, P.P., Lien, T.M., George, C.: Developing a Financial Information System. Technical Report 81, UNU\/IIST, P.O.Box 3058, Macau (September 1996)"},{"key":"6_CR3","unstructured":"Dung, D.T., George, C., Huan, H.X., Nam, P.P.: A Financial Information System. Technical Report 115, UNU\/IIST, P.O.Box 3058, Macau (July 1997)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00122417","volume":"8","author":"C.B. Jones","year":"1996","unstructured":"Jones, C.B.: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. Formal Methods in System Design\u00a08, 105\u2013122 (1996)","journal-title":"Formal Methods in System Design"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Gerth, R., Kuiper, R., Segers, J.: Interface Refinement in Reactive Systems. In: Cleaveland [9]","DOI":"10.1007\/BFb0084784"},{"key":"6_CR6","unstructured":"Meldal, S., Luckham, D.C.: Defining a Security Reference Architecture. Technical Report CSL-TR-97-728, Stanford University (June 1997)"},{"key":"6_CR7","unstructured":"Wegner, P.: Coordination as Constrained Interaction. In: Ciancarini and Hankin [8]"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Coordination Languages and Models","year":"1996","unstructured":"Ciancarini, P., Hankin, C. (eds.): COORDINATION 1996. LNCS, vol.\u00a01061. Springer, Heidelberg (1996)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201992","year":"1992","unstructured":"Cleaveland, W.R. (ed.): CONCUR 1992. LNCS, vol.\u00a0630. Springer, Heidelberg (1992)"},{"key":"6_CR10","series-title":"BCS Practitioner Series","volume-title":"The RAISE Specification Language","author":"The RAISE Language Group","year":"1992","unstructured":"The RAISE Language Group: The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, Englewood Cliffs (1992)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Guttag, J.V.: Abstract data types and the development of data structures. CACM\u00a020(6) (June 1977)","DOI":"10.1145\/359605.359618"},{"key":"6_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"6_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall International, Englewood Cliffs (1989)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Milne, R.E.: Transforming Axioms for Data Types into Sequential Programs. In: Proceedings of 4th Refinement Workshop. Springer, Heidelberg (1991)","DOI":"10.1007\/978-1-4471-3756-6_11"}],"container-title":["Lecture Notes in Computer Science","Requirements Targeting Software and Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10692867_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T19:44:51Z","timestamp":1553197491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10692867_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653097","9783540494393"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10692867_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}