{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:10:53Z","timestamp":1743117053141,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410201"},{"type":"electronic","value":"9783540452638"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45263-x_16","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T01:15:42Z","timestamp":1185844542000},"page":"249-266","source":"Crossref","is-referenced-by-count":5,"title":["A Logical Interface Description Language for Components"],"prefix":"10.1007","author":[{"given":"F.","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. S.","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. M.","family":"Bonsangue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"1","author":"G. Agha","year":"1993","unstructured":"G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation Journal of Functional Programming, 1(1):1\u201369, 1993.","journal-title":"Journal of Functional Programming"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"F. Arbab, M.M. Bonsangue, and F.S. de Boer. A coordination language for mobile components. In Proc. of SAC 2000, pages 166\u2013173, ACM press, 2000.","DOI":"10.1145\/335603.335734"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/cpe.4330050103","volume":"5","author":"F. Arbab","year":"1993","unstructured":"F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. Concurrency: Practice and Experience, 5(1):23\u201370, 1993.","journal-title":"Concurrency: Practice and Experience"},{"key":"16_CR4","unstructured":"K. Bergner, A. Rausch, M. Sihling, A. Vilbig An integrated view on componentware: concepts, description techniques, and development process. In R. Lee, editor, Proc. of IASTED Conference on Software Engineering, pages 77\u201382, ACTA Press, 1998."},{"key":"16_CR5","unstructured":"K. Bergner, A. Rausch, M. Sihling, A. Vilbig, and M. Broy. A formal model for componentware. In M. Sitaraman and G. Leavens, editors, Foundation of Component-Based Systems, Cambridge University Press, 2000."},{"key":"16_CR6","unstructured":"F.S. de Boer. Reasoning about asynchronous communication in dynamically evolving object structures. In Theoretical Computer Science, 2000."},{"key":"16_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 25th MFCS","author":"F.S. Boer de","year":"2000","unstructured":"F.S. de Boer and M.M. Bonsangue. A compositional model for confluent dynamical data-flow networks. In B. Rovan ed., Proc. 25th MFCS, LNCS, 2000."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutell\u00e1, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science, 240(1), July 2000.","DOI":"10.1016\/S0304-3975(99)00226-1"},{"key":"16_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/BFb0014427","volume-title":"Proc. 5th COMPASS workshop","author":"M. Broy","year":"1995","unstructured":"M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, volume 1378 of LNCS, pages 170\u2013187, 1995."},{"key":"16_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Proc. of Foundation of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A.D. Gordon. Mobile ambients. In Proc. of Foundation of Software Science and Computational Structures, volume 1378 of LNCS, pages 140\u2013155, 1998."},{"key":"16_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. AMAST\u201996","author":"R. Grosu","year":"1996","unstructured":"R. Grosu and K. St\u00f8len. A model for mobile point-to-point data-flow networks without channel sharing. In Proc. AMAST\u201996, LNCS, 1996."},{"key":"16_CR12","unstructured":"JavaSoft. The JavaBeans component architecture, 1999. Available on line at the \n                    http:\/\/java.sun.com\/beans\n                    \n                  ."},{"key":"16_CR13","unstructured":"He Jifeng, M.B. Josephs, and C.A.R. Hoare. A theory of synchrony and asynchrony. In Proc. of IFIP Working Conference on Programming Concepts and Methods, pages 459\u2013478, 1990."},{"key":"16_CR14","unstructured":"Microsoft Corporation. ActiveX Controls, 1999 Available on line at the \n                    http:\/\/www.microsoft.com\/com\/tech\/activex.asp\n                    \n                  ."},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation 100:1, 1992, pp. 1\u201377.","journal-title":"Information and Computation"},{"key":"16_CR16","unstructured":"Object Management Group. CORBA 2.1 specifications, 1997. Available on line at the \n                    http:\/\/www.omg.org\n                    \n                  ."},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"E.-R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica 23:9\u201366, 1986.","journal-title":"Acta Informatica"},{"issue":"4","key":"16_CR18","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"M. Shaw, R. De Line, D. Klein, T. Ross, D. Young and G. Zelesnik. Abstraction for software architectures and tools to support them. IEEE Transactions on Software Engineering 21(4):356\u2013372, 1995.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45263-X_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T15:18:48Z","timestamp":1550416728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45263-X_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410201","9783540452638"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45263-x_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}