{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:53Z","timestamp":1761597053119,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_21","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1343-1363","source":"Crossref","is-referenced-by-count":6,"title":["Modelling microsoft COM using \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Loe M. G.","family":"Feijs","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"21_CR1","unstructured":"Milner, R.: Communication and concurrency, Prentice Hall (1989)"},{"issue":"1\/3","key":"21_CR2","first-page":"109","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Computation, 60(1\/3):109\u2013137 (1984)","journal-title":"Information and Computation"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, 14, (1987) 25\u201359","journal-title":"Computer Networks and ISDN Systems"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Mauw, S., Veltink, G.J. (Eds.): Algebraic specification of communication protocols, Cambridge Tracts in Theoretical Comp. Sc. 36, CUP (1993)","DOI":"10.1017\/CBO9780511721625"},{"key":"21_CR5","unstructured":"CCITT. Specification and Description Language (SDL), Rec. Z.100"},{"key":"21_CR6","unstructured":"CCITT. Message Sequence Chart (MSC), Rec. Z. 120, Study Group X (1996)"},{"key":"21_CR7","unstructured":"Szyperski, C.: Component Software, Beyond Object-oriented Programming, Addisson Wesley,0-201-17888-5"},{"key":"21_CR8","unstructured":"Orfali, R., Harkey, D., Edwards, J.: The essential distributed objects survival guide, John Wiley & Sons, Inc. (1996)"},{"issue":"1","key":"21_CR9","first-page":"1","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes Pt.1 Information and Computation 100(1) (1992) 1\u201340","journal-title":"A Calculus of Mobile Processes Pt.1 Information and Computation"},{"key":"21_CR10","unstructured":"Microsoft Corporation. The Component Object Model Specification, Version 0.9, Microsoft (1995)"},{"key":"21_CR11","unstructured":"Brockschmidt, K.: How OLE and COM solve the problems of component software design, Microsoft Systems Journal, (1996) 63\u201380"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Williams, T.: Reusable Components for Evolving Systems, IEEE 1998 Software Reuse Conference (pp. 12\u201316)","DOI":"10.1109\/ICSR.1998.685725"},{"key":"21_CR13","unstructured":"Gamma, E.,, Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software, Addison-Wesley (1994)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.:Dynamic Structure in Software Architectures, in: Proc. 4th ACM SIGSOFT Symp. on the Foundations of Software Engineering","DOI":"10.1145\/239098.239104"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Eisenbach, S., Paterson, R.: pi-Calculus semantics for the concurrent configuration language Darwin, Hawaii Int. Conf. on System Sciences (1993)","DOI":"10.1109\/HICSS.1993.284080"},{"key":"21_CR16","unstructured":"Sullivan, K.J., Socha, J., Marchukov, M.: Using formal methods to reason about architectural standards, International conference on software engineering ICSE\u2019 97, (1997) 503\u2013512"},{"key":"21_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/3-540-57208-2_12","volume-title":"Proceedings of CONCUR\u201993","author":"C.B. Jones","year":"1993","unstructured":"Jones, C.B.: A \u03c0-calculus semantics for an object-based design notation, in: E. Best (Ed.), Proceedings of CONCUR\u201993, Springer-Verlag LNCS 715, (1993) 158\u2013172"},{"key":"21_CR18","unstructured":"Nierstrasz, O.: Infrastructure forsoftware component frameworks,Internet http:\/\/www.iam.unibe.ch\/~scg\/Archive\/NFS\/iscf.html (1996)"},{"key":"21_CR19","unstructured":"Broy, M.: Towards a mathematical concept of a component and its use, Software-concepts and tools 18, (1997) 137\u2013148"},{"key":"21_CR20","unstructured":"Jones, C.B.: Systematic software development using VDM, Prentice Hall (1986)"},{"key":"21_CR21","unstructured":"Spivey, J.M.: Understanding Z: a specification language and its formal semantics, Volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1988)"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Feijs, L.M.G., Jonkers, H.B.M., Middelburg, C.A.: Notations for Software Design, FACIT Series, Springer-Verlag (1994)","DOI":"10.1007\/978-1-4471-2107-7"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T09:09:45Z","timestamp":1737536985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}