{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:03:57Z","timestamp":1762862637552},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:20:29Z","timestamp":1330237229000},"page":"230-242","source":"Crossref","is-referenced-by-count":14,"title":["Application of the composition principle to unity-like specifications"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Collette","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport, The Existence of Refinement Mappings, in Proceedings of the 3rd Annual Symposium on Logic In Computer Science, 1988, pp. 165\u2013175.","DOI":"10.1109\/LICS.1988.5115"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport, Composing Specifications, in J.W. de Bakker, W.-P. de Roever, and G. Rozenberg eds., Stepwise Refinement of Distributed Systems, Springer-Verlag, 1990, LNCS 430, pp. 1\u201341.","DOI":"10.1007\/3-540-52559-9_59"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport, An Old-Fashioned Recipe for Real Time, in J.W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg eds., Real Time: Theory in Practice, Springer-Verlag, 1992, LNCS 600, pp 1\u201327.","DOI":"10.1007\/BFb0031985"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"M. Abadi and G.D. Plotkin, A Logical View of Composition and Refinement, in Proceedings of the 18th Annual ACM Symposium on Principles of Programming Languages, 1991, pp 323\u2013332.","DOI":"10.1145\/99583.99626"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"H. Bairinger, R. Kuiper, and A. Pnueli, Now you may Compose Temporal Logic Specifications, in Proceedings of the 16th ACM Symposium on Theory of Computing, 1984, pp. 51\u201363.","DOI":"10.1145\/800057.808665"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra, Parallel Program Design: a Foundation, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"16_CR7","volume-title":"Research Report RR 92-25","author":"P. Collette","year":"1992","unstructured":"P. Collette, Semantic Rules to Compose Rely-Guarantee Specifications, Research Report RR 92-25, Universit\u00e9 Catholique de Louvain, 1992, Belgium."},{"key":"16_CR8","volume-title":"Technical Report TUM-I 9040","author":"F. Dederichs","year":"1990","unstructured":"F. Dederichs, System and Environment: The Philosophers Revisited, Technical Report TUM-I 9040, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1990, Germany."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"P. Gr\u00f8nning, T.Q. Nielsen and H.H. Lovengreen, Refinement and Composition of Transitionbased Rely-Guarantee Specifications with Auxiliary Variables, in K.V. Nori and C.E. Veni Madhavan eds., Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, 1991, LNCS 472, pp 332\u2013348.","DOI":"10.1007\/3-540-53487-3_55"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C. B. Jones","year":"1983","unstructured":"C.B. Jones, Tentative Steps Towards a Development Method for Interfering Programs, in ACM Transactions on Programming Languages And Systems, 1983, Vol 5,4, pp 596\u2013619.","journal-title":"ACM Transactions on Programming Languages And Systems"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"B. Jonsson, On Decomposing and Refining Specifications of Distributed Systems, in J.W. de Bakker, W-P. de Roever, and G. Rozenberg eds, Stepwise Refinement of Distributed Systems, Springer-Verlag, 1990, LNCS 430, pp. 261\u2013385.","DOI":"10.1007\/3-540-52559-9_71"},{"key":"16_CR12","unstructured":"L. Lamport, The Temporal Logic of Actions, Research Report 57, Digital Equipment Corporation Systems Research Center, 1990."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, The Anchored Version of the Temporal Framework, in J.W. de Bakker, W.-P. de Roever, and G. Rozenberg eds., Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency, Springer-Verlag, 1989, LNCS 354, pp. 201\u2013284.","DOI":"10.1007\/BFb0013024"},{"issue":"4","key":"16_CR14","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"J. Misra and K.M. Chandy, Proofs of Networks of Processes, in IEEE Transactions on Software Engineering, 1981, Vol 7, 4, pp 417\u2013426.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2\u20133","key":"16_CR15","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0167-6423(90)90019-A","volume":"14","author":"J. Misra","year":"1990","unstructured":"J. Misra, Specifying Concurrent Objects as Communicating Processes, in Science of Computer Programming, 1990, Vol 14, 2\u20133, pp. 159\u2013184.","journal-title":"Science of Computer Programming"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"A. Pizzarello, An Industrial Experience in the use of UNITY, in J.P. Ban\u00e2tre and D. Le M\u00e9tayer eds., ResearchDirections in High-Level Parallel Programming Languages, Springer-Verlag, 1991, LNCS 574, pp 39\u201349.","DOI":"10.1007\/3-540-55160-3_32"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0167-6423(91)90023-Q","volume":"16","author":"A. K. Singh","year":"1991","unstructured":"A.K. Singh, Specification of Concurrent Objects Using Auxiliary Variables, in Science of Computer Programming, 1991, Vol 16, pp 49\u201388.","journal-title":"Science of Computer Programming"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(86)90007-1","volume":"56","author":"E. G. Stark","year":"1988","unstructured":"E.G. Stark, Proving Entailment Between Conceptual State Specifications, in Theoretical Computer Science, 1988, Vol 56, pp 135\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"K. St\u00f8len, A Method for the Development of Totally Correct Shared-State Parallel Programs, in J.C.M. Baeten and J.F. Groote eds., Proceedings of Concur'91, Springer-Verlag, 1991, LNCS 527, pp 510\u2013525.","DOI":"10.1007\/3-540-54430-5_110"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"J.C.P. Woodcock and B. Dickinson, Using VDM with Rely and Guarantee-Conditions, in R. Bloomfield, L. Marshall and R. Jones eds., Proceedings of VDM'88: The Way Ahead, Springer-Verlag, 1988, LNCS 328, pp 434\u2013458.","DOI":"10.1007\/3-540-50214-9_27"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Q. Xu and H. Jifeng, A Theory of State-based Parallel Programming: Part I, in J. Morris ed., 4th BCS-FACS Refinement Workshop, Springer-Verlag, 1991, pp 326\u2013359.","DOI":"10.1007\/978-1-4471-3756-6_15"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:05:01Z","timestamp":1605629101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}