{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:40:02Z","timestamp":1743140402586,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540273240"},{"type":"electronic","value":"9783540315841"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11516798_4","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:29:05Z","timestamp":1279081745000},"page":"52-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A UNITY-Based Framework Towards Component Based Systems"],"prefix":"10.1007","author":[{"given":"I. S. W. B.","family":"Prasetya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. E. J.","family":"Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Azurat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. D.","family":"Swierstra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,23]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems\u00a015(1), 73\u2013132 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems\u00a017(3), 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-52559-9_60","volume-title":"Stepwise Refinement of Distributed Systems","author":"R.J.R. Back","year":"1990","unstructured":"Back, R.J.R., Von Wright, J.: Refinement calculus, part I: Sequential non-deterministic programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol.\u00a0430, pp. 42\u201366. Springer, Heidelberg (1990)"},{"key":"4_CR4","unstructured":"Broy, M.: Multi-view modelling of software sytems. In: H.D. Van and Z. Liu, editors, Proceedings of the Workshop on Formal Aspects of Component Software (FACS), Also as UNU\/IIST Report no. 284 (2003), available on-line at \n\nhttp:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1012952311559","volume":"20","author":"K. Chandy","year":"2002","unstructured":"Chandy, K., Charpentier, M.: An experiment in program composition and proof. Formal Methods in System Design\u00a020(1), 7\u201321 (2002)","journal-title":"Formal Methods in System Design"},{"key":"4_CR6","volume-title":"Parallel Program Design \u2013 A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design \u2013 A Foundation. Addison-Wesley Publishing Company, Inc., Reading (1988)"},{"key":"4_CR7","unstructured":"Chandy, K.M., Sanders, B.A.: Reasoning about program composition. Technical Report 96-035, University of Florida (1996)"},{"key":"4_CR8","unstructured":"Chandy, K.M., Sanders, B.A.: Reasoning about program composition. Draft, Presently available via (2000), \n\nhttp:\/\/www.cise.ufl.edu\/~sanders\/pubs"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/10722010_12","volume-title":"Mathematics of Program Construction","author":"M. Charpentier","year":"2000","unstructured":"Charpentier, M., Chandy, K.: Theorems about composition. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 167\u2013186. Springer, Heidelberg (2000)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0167-6423(94)00017-4","volume":"23","author":"P. Collette","year":"1994","unstructured":"Collette, P.: Composition of assumption-commitment specifications in a UNITY style. Science of Computer Programming\u00a023, 107\u2013125 (1994)","journal-title":"Science of Computer Programming"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/3-540-60043-4_64","volume-title":"Algebraic Methodology and Software Technology","author":"P. Collette","year":"1995","unstructured":"Collette, P., Knapp, E.: Logical foundations for compositional verification and development of concurrent programs in UNITY. In: Alagar, V.S., Nivat, M. (eds.) AMAST 1995. LNCS, vol.\u00a0936, pp. 353\u2013367. Springer, Heidelberg (1995)"},{"key":"4_CR12","unstructured":"Jifeng, H., Zhiming, L., Xiaoshan, L.: A contract-oriented approach to CBP. In: H.D. Van and Z. Liu, editors, Proceedings of the Workshop on Formal Aspects of Component Software (FACS), Also as UNU\/IIST Report no. 284 (2003), available on-line at \n\nhttp:\/\/www.iist.unu.edu\/newrh\/III\/1\/page.html"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-44525-0_2","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"S.-K. Kim","year":"2000","unstructured":"Kim, S.-K., Carrington, D.: A formal mapping between UML models and object-Z specifications. In: P. Bowen, J., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, p. 2. Springer, Heidelberg (2000)"},{"key":"4_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8528-6","volume-title":"A Discipline of Multiprogramming","author":"J. Misra","year":"2001","unstructured":"Misra, J.: A Discipline of Multiprogramming. Springer, Heidelberg (2001)"},{"key":"4_CR15","unstructured":"Prasetya, I.S.W.B.: Mechanically Supported Design of Self-stabilizing Algorithms. PhD thesis, Inst. of Information and Comp. Science, Utrecht Univ. (1995), Download \n\nhttp:\/\/www.cs.uu.nl\/library\/docs\/theses.html"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/BF01211309","volume":"6","author":"I.S.W.B. Prasetya","year":"1994","unstructured":"Prasetya, I.S.W.B.: Error in the UNITY substitution rule for subscripted operators. Formal Aspects of Computing\u00a06, 466\u2013470 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR17","unstructured":"Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A., Swierstra, S.D.: A unity-based framework towards component based systems. Technical Report UU-CS-2003-043, Inst. of Information and Comp. Science, Utrecht Univ. (2003), Download \n\nwww.cs.uu.nl\/staff\/wishnu.html"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF01898402","volume":"3","author":"B.A. Sanders","year":"1991","unstructured":"Sanders, B.A.: Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing\u00a03(2), 189\u2013205 (1991)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/3-540-49213-5_21","volume-title":"Compositionality: The Significant Difference","author":"N. Shankar","year":"1998","unstructured":"Shankar, N.: Lazy compositional verification. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 541\u2013564. Springer, Heidelberg (1998)"},{"key":"4_CR20","volume-title":"Component Software, Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software, Beyond Object-Oriented Programming. Addison-Wesley, Reading (1998)"},{"key":"4_CR21","unstructured":"Udink, R.T.: Program Refinement in UNITY-like Environments. PhD thesis, Inst. of Information and Computer Sci., Utrecht University (1995), Downloadable from \n\nhttp:\/\/www.cs.uu.nl"},{"key":"4_CR22","unstructured":"Vos, T.E.J.: UNITY in Diversity: A Stratified Approach to the Verification of Distributed Algorithms. PhD thesis, Inst. of Information and Computer Sci., Utrecht University (2000), Download \n\nhttp:\/\/www.cs.uu.nl"},{"key":"4_CR23","unstructured":"Vos, T.E.J., Swierstra, S.D., Prasetya, I.S.W.B.: Yet another program refinement relation. In: International Workshop on Refinement of Critical Systems: Methods, Tools and Experience (2002)"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11516798_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T21:04:40Z","timestamp":1585688680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11516798_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273240","9783540315841"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11516798_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]},"assertion":[{"value":"23 August 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}