{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T03:51:25Z","timestamp":1770349885096,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540201755","type":"print"},{"value":"9783540399797","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_8","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:52:22Z","timestamp":1277232742000},"page":"111-126","source":"Crossref","is-referenced-by-count":11,"title":["Behavioural Contracts for a Sound Assembly of Components"],"prefix":"10.1007","author":[{"given":"Cyril","family":"Carrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Bailly, A.: Assume \/ Guarantee Contracts for Timed Mobile Objects. PhD thesis, ENST (December 2002)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE 2001, SOFTWARE ENGINEERING NOTES, vol. 26(5). ACM Press, New York (2001)","DOI":"10.1145\/503209.503226"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. INFCTRL: Information and Computation (formerly Information and Control)\u00a0173 (2002)","DOI":"10.1006\/inco.2001.3089"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Kobayashi, N.: A type system for lock-free processes. INFCTRL: Information and Computation (formerly Information and Control)\u00a0177 (2002)","DOI":"10.1016\/S0890-5401(02)93171-8"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Pierce, B.C., Turner, D.N.: Linearity and the Pi-Calculus. ACM Transactions on Programming Languages and Systems\u00a021(5) (1999)","DOI":"10.1145\/330249.330251"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60630-0_2","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K.G. Larsen","year":"1995","unstructured":"Larsen, K.G., Steffen, B., Weise, C.: A constraint oriented proof methodology based on modal transition sytems. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol.\u00a01019. Springer, Heidelberg (1995)"},{"key":"8_CR7","first-page":"99","volume-title":"Object-Oriented Software Composition","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Object-Oriented Software Composition, pp. 99\u2013121. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Najm, E., Nimour, A., Stefani, J.-B.: Guaranteeing liveness in an object calculus through behavioral typing. In: Proc. of FORTE\/PSTV 1999 (October 1999)","DOI":"10.1007\/978-0-387-35578-8_12"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:36:12Z","timestamp":1559208972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}