{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:30:00Z","timestamp":1736487000031,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/3-540-63383-9_93","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"392-409","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A component calculus for modeling the Olan configuration language"],"prefix":"10.1007","author":[{"given":"Jean-Yves","family":"Vion-Dury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Bellissard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Marangozov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"L. Bellissard, S. Ben Atallah, F. Boyer, M. Riveill, \u201cDistributed Application Configuration\u201d, Proc. 16th International Conference on Distributed Computing Systems, pp. 579\u2013585, IEEE Computer Society, Hong-Kong, May 1996.","DOI":"10.1109\/ICDCS.1996.508008"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Ichiro Satoh and Mario Tokoro, \u201cA Timed Calculus for Distributed Object with Clocks\u201d Proceedings of the 7th European Conference on Object Oriented Programming, pp. 326\u2013345, Springer-Verlag, Kaiserslautern, Germany, July 1993.","DOI":"10.1007\/3-540-47910-4_17"},{"key":"25_CR3","unstructured":"Ichiro Satoh and Mario Tokoro, \u201cA Formalism for Distributed Real-Time Processes with Temporal Uncertainties\u201d, Proceedings of OOPSLA'92, ACM, pp.315\u2013326, October 1994."},{"key":"25_CR4","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/191080.191111","volume-title":"Proceedings of OOPSLA'94","author":"D. M. Yellin","year":"1994","unstructured":"Daniel M. Yellin and Robert E. Strom \u201cInterfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors\u201d, Proceedings of OOPSLA'94 (Portland, Oregon USA), ACM, pp. 176\u2013190, October 1994."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Oscar Nierstrasz, \u201cToward an Object Calculus\u201d, Proceedings of ECOOP'91 Workshop on Object-Based Concurrent Computing \u2014 Geneva, LNCS, pp 1\u201320, July 1991.","DOI":"10.1007\/3-540-55613-3_1"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R., \u201cCommunicating Sequential Processes\u201d, Communications of ACM, 21(8), 1978.","DOI":"10.1145\/359576.359585"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Robert Allen and David Garlan, \u201cFormal Connectors\u201d, Technical Report CMU-CS-94-115, School of Computer Science, Camegie Mellon University, Pittsburgh, PA 15213, March 1994.","DOI":"10.21236\/ADA277611"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Jef Magee, Susan Eisenbach and Jeff Kramer, \u201cModelling Darwin in the \u03c0-calculus\u201d, Theory & Practice in Distributed systems, Dagstuhl Castle, Germany, Lecture Notes in computer Sciences 938, September 1994.","DOI":"10.1007\/3-540-60042-6_10"},{"key":"25_CR9","unstructured":"Robin Milner, Communication and Concurrency, Prentice Hall international, 66 Wood Lane End, Hemel Hempstead Hertfordshire, HP2 4RG UK, 1989."},{"key":"25_CR10","unstructured":"Robin Milner, Joachim Parrow and David Walker, \u201cA Calculus of Mobile Processes (Part 1 & 2)\u201d, LFCS Laboratory for Foundation of Computer Sciences, University of Edinburgh, June 1989."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Robin Milner, Joachim Parrow and David Walker, \u201cModal Logics for Mobile Processes\u201d, LFCS Laboratory for Foundation of Computer Sciences, University of Edinburgh, April 1991.","DOI":"10.1007\/3-540-54430-5_80"},{"key":"25_CR12","unstructured":"Jean-Yves Vion-Duty, \u2018http:\/\/pukapuka.inrialpes.fr\/ICCS\/`, Exploratory Compiler and simulator for ICCS, January 1997."},{"issue":"2","key":"25_CR13","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1976.233534","volume":"2","author":"F. Remer De","year":"1976","unstructured":"De Remer F. and Kron H. \u201cProgramming-in-the-large versus Programming-in-the-small\u201d, IEEE Transactions on Software Engineering, Vol. 2 (No. 2), pp. 80\u201387, June 1976.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Simon S. Lam, A.Udaya Shankar, \u201cA Theory of Interfaces and Modules I-Composition Theorem\u201d IEEE Transactions on Software Engineering, Vol. 20, No. 1, January 1994.","DOI":"10.1109\/32.263755"},{"key":"25_CR15","unstructured":"Bellissard L., Ben Atallah S., Kerbrat A., and Riveill M. \u201cComonent-based Programming and Application Management with Olan\u201d, Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, Briot J.P, Geib J.M., Yonezawa A. (Eds.), LNCS, Vol. 1107, Springer-Verlag, 1996."},{"key":"25_CR16","unstructured":"Magee J., Dulay N. and Kramer J. \u201cA Constructive Development Environment for Parallel and Distributed Programs\u201d, Proceedings of the International Conference on Configurable Distributed Systems, Pittsburgh, PA, March 1994."}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_93","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T22:49:56Z","timestamp":1736462996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"29 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}