{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:08:01Z","timestamp":1725494881285},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_19","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1301-1320","source":"Crossref","is-referenced-by-count":6,"title":["Developing components in the presence of re-entrance"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Mikhajlov","sequence":"first","affiliation":[]},{"given":"Linas","family":"Laibinis","sequence":"additional","affiliation":[]},{"given":"Emil","family":"Sekerinski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"M. Abadi and L. Lamport. Composing speci cations.ACM Transactions on Programming Languages and Systems, 15(1):73\u2013132, Jan. 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, April 1998.","DOI":"10.1007\/978-1-4612-1674-2_1"},{"key":"19_CR3","series-title":"Technical Report TUCS-TR-236","volume-title":"Encoding,decoding and data refinement","author":"R. J. R. Back","year":"1999","unstructured":"R. J. R. Back and J. von Wright.Encoding,decoding and data refinement. Technical Report TUCS-TR-236, Turku Centre for Computer Science, Finland, Mar. 1, 1999."},{"key":"19_CR4","series-title":"Technical Report TUCS-TR-235","volume-title":"Products in the re nement calculus","author":"R. J. R. Back","year":"1999","unstructured":"R. J. R. Back and J. von Wright. Products in the re nement calculus. Technical Report TUCS-TR-235, Turku Centre for Computer Science, Finland, Feb. 11,1999."},{"key":"19_CR5","unstructured":"M. B\u00fcchi and E. Sekerinski. Formal methods for component software: The refinement calculus perspective. In W. Weck, J. Bosch, and C. Szyperski, editors, Proceedings of WCOP\u201997, volume 5 of TUCS General Publication, pages 23\u201332,June 1997."},{"key":"19_CR6","series-title":"Technical Report TUCS-TR-122","volume-title":"A plea for grey-box components","author":"M. B\u00fcchi","year":"1997","unstructured":"M. B\u00fcchi and W. Weck. A plea for grey-box components. Technical Report TUCS-TR-122, Turku Centre for Computer Science, Finland, Sept. 5, 1997."},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Compositionality: The Significant Diffirence.Proceedings of COMPOS\u201997","author":"W.-P. Roever de","year":"1997","unstructured":"W.-P. de Roever, H. Langmaack, and A. Pnueli. Compositionality: The Significant Diffirence.Proceedings of COMPOS\u201997, volume 1536 of LNCS. Springer-Verlag, 1997."},{"key":"19_CR8","unstructured":"J. Feiler and A. Meadow. Essential OpenDoc. Addison-Wesley, 1996."},{"key":"19_CR9","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of ReusableObject-Oriented Software. Addison-Wesley, 1995."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"R. Helm, I. M. Holland, and D. Gangopadhyay. Contracts: Specifying behavioural compositions in object-oriented systems. In Proceedings OOPSLA\/ECOOP\u201990,ACM SIGPLAN Notices, pages 169\u2013180, Oct. 1990.","DOI":"10.1145\/97946.97967"},{"key":"19_CR11","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall, New York, N.Y., second edition, 1997.","edition":"second edition"},{"key":"19_CR12","unstructured":"L. Mikhajlov, E. Sekerinski, and L. Laibinis. Developing components in the presence of re-entrance. Technical Report TUCS-TR-239, TUCS-Turku Centre for Computer Science, Feb. 9 1999.Tue, 9 Jan 1999 8:17:45 GMT."},{"key":"19_CR13","unstructured":"C. C. Morgan. Programming from Specifications. Prentice Hall, 1990."},{"key":"19_CR14","isbn-type":"print","first-page":"159","volume-title":"Special Issues in Object Oriented Programming","author":"A. Olafsson","year":"1997","unstructured":"A. Olafsson and D. Bryan. On the need for \u201crequired interfaces\u201d of components. In M. Muehlhaeuser, editor, Special Issues in Object Oriented Programming, pages 159\u2013165. dpunkt Verlag Heidelberg, 1997. ISBN 3-920993-67-5.","ISBN":"http:\/\/id.crossref.org\/isbn\/3920993675"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"D. Rogerson. Inside COM: Microsoft\u2019s Component Object Model. Microsoft Press, 1997.","DOI":"10.1049\/ee.1997.0007"},{"key":"19_CR16","unstructured":"Sun Microsystems. Java Beans(TM), July 1997. Graham Hamilton (ed.). Version 1.0.1."},{"key":"19_CR17","unstructured":"C. Szyperski. Component Software Beyond Object-Oriented Software. Addison-Wesley, 1997."},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski.A lattice theoretical fixed point theorem and its applications. Pacific J. Mathematics, 5:285\u2013309, 1955.","journal-title":"Pacific J. Mathematics"},{"key":"19_CR19","unstructured":"J. Wright. Program refinement by theorem prover. In 6th RefinementWorkshop, London,1994.SpringerVerlag."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:25:57Z","timestamp":1684088757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}