{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:57:50Z","timestamp":1773327470056,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2009,1,10]],"date-time":"2009-01-10T00:00:00Z","timestamp":1231545600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann. Telecommun."],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1007\/s12243-008-0069-7","type":"journal-article","created":{"date-parts":[[2009,1,9]],"date-time":"2009-01-09T15:21:41Z","timestamp":1231514501000},"page":"25-43","source":"Crossref","is-referenced-by-count":33,"title":["Behavioural models for distributed Fractal components"],"prefix":"10.1007","volume":"64","author":[{"given":"Tom\u00e1s","family":"Barros","sequence":"first","affiliation":[]},{"given":"Rab\u00e9a","family":"Ameur-Boulifa","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Cansado","sequence":"additional","affiliation":[]},{"given":"Ludovic","family":"Henrio","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Madelaine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,1,10]]},"reference":[{"key":"69_CR1","doi-asserted-by":"crossref","unstructured":"Bruneton E, Coupaye T, Leclercp M, Quema V, Stefani J (2004) An open component model and its support in java. In: 7th int symp on component-based software engineering (CBSE-7), LNCS, vol 3054. Springer","DOI":"10.1007\/978-3-540-24774-6_3"},{"key":"69_CR2","unstructured":"CoreGRID, Programming Model Institute (2006) Basic features of the grid component model (assessed). Technical report, Deliverable D.PM.04. http:\/\/www.coregrid.net\/mambo\/images\/stories\/Deliverables\/d.pm.04.pdf"},{"key":"69_CR3","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall, Englewood Cliffs ISBN 0-13-114984-9"},{"key":"69_CR4","volume-title":"Handbook of process algebra","author":"J Bergstra","year":"2001","unstructured":"Bergstra J, Pose A, Smolka S (2001) Handbook of process algebra. North-Holland, Amsterdam"},{"key":"69_CR5","volume-title":"Finite transition systems. Semantics of communicating sytems","author":"A Arnold","year":"1994","unstructured":"Arnold A (1994) Finite transition systems. Semantics of communicating sytems. Prentice-Hall, Englewood Cliffs"},{"issue":"1","key":"69_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D (1992) A calculus of mobile processes. Inf Comput 100(1):1\u201377","journal-title":"Inf Comput"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"Garavel H, Lang F, Mateescu R, Serve W (2007) CADP 2006: a toolbox for the construction and analysis of distrbuted processes. In: CAV 2007 conference. Berlin, Germany","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"69_CR8","doi-asserted-by":"crossref","unstructured":"Garavel H, Lang F (2002) NTIF: a general symbolic model for communicating sequential processes with data. In: Proceedings of FORTE\u201902 (Houston), LNCS, vol 2529. Springer","DOI":"10.1007\/3-540-36135-9_18"},{"key":"69_CR9","volume-title":"A classical mind, essays in honour of C.A.R. Hoare","author":"A Roscoe","year":"1994","unstructured":"Roscoe A (1994) Model-checking CSP. In: A classical mind, essays in honour of C.A.R. Hoare. Prentice-Hall, Englewood Cliffs"},{"key":"69_CR10","unstructured":"Scattergood J (1998) The semantics and implementation of machine-readable CSP. PhD thesis, Oxford Un. Computing Laboratory"},{"key":"69_CR11","volume-title":"Concurrency: state models and java programs","author":"J Magee","year":"2006","unstructured":"Magee J, Kramer J (2006) Concurrency: state models and java programs, 2nd edn. Wiley, New York","edition":"2"},{"key":"69_CR12","doi-asserted-by":"crossref","unstructured":"Poizat P, Royer J, Salaun G (2006) Bounded analysis and decomposition for behavioural descriptions of components. In: FMOODS, LNCS, vol 4037. Springer","DOI":"10.1007\/11768869_5"},{"issue":"12","key":"69_CR13","first-page":"1741","volume":"12","author":"P Poizat","year":"2006","unstructured":"Poizat P, Royer J (2006) A formal architectural description language based on transition systems and modal logic. J Univers Comput Sci 12(12):1741\u20131782","journal-title":"J Univers Comput Sci"},{"key":"69_CR14","series-title":"LNCS","volume-title":"Forte\u201904 conference","author":"T Barros","year":"2004","unstructured":"Barros T, Boulifa R, Madelaine E (2004) Parameterized models for distributed Java objects. In: Forte\u201904 conference. LNCS, vol 3235. Springer, Madrid"},{"key":"69_CR15","unstructured":"Boulifa R (2004) G\u00e9n\u00e9ration de mod\u00e8les comportementaux des applications r\u00e9parties. PhD thesis, University of Nice - Sophia Antipolis \u2013 UFR Sciences"},{"key":"69_CR16","series-title":"LNCS","volume-title":"Model checking software, 12th int SPIN workshop","author":"T Barros","year":"2005","unstructured":"Barros T, Henrio L, Madelaine E (2005) Behavioural models for hierarchical components. In: Godefroid P (ed) Model checking software, 12th int SPIN workshop, LNCS, vol 3639. Springer, San Francisco"},{"key":"69_CR17","unstructured":"Barros T (2005) Formal specification and verification of distributed component systems. PhD thesis, University of Nice - Sophia Antipolis"},{"issue":"1","key":"69_CR18","doi-asserted-by":"crossref","first-page":"69","DOI":"10.12921\/cmst.2006.12.01.69-77","volume":"12","author":"D Caromel","year":"2006","unstructured":"Caromel D, Delb\u00e9 C, di\u00a0Costanzo A, Leyton M (2006) ProActive: an integrated platform for programming and running applications on grids and P2P systems. Comput Methods Sci Technol 12(1):69\u201377","journal-title":"Comput Methods Sci Technol"},{"key":"69_CR19","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/964001.964012","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages","author":"D Caromel","year":"2004","unstructured":"Caromel D, Henrio L, Serpette B (2004) Asynchronous and deterministic objects. In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM, New York, pp 123\u2013134"},{"key":"69_CR20","volume-title":"A theory of distributed object","author":"D Caromel","year":"2005","unstructured":"Caromel D, Henrio L (2005) A theory of distributed object. Springer, Heidelberg"},{"key":"69_CR21","doi-asserted-by":"crossref","unstructured":"Lin H (1996) Symbolic transition graph with assignment. In: Montanari U, Sassone V (eds) CONCUR\u00a0\u201996, LNCS, vol 1119. Pisa, Italy","DOI":"10.1007\/3-540-61604-7_47"},{"key":"69_CR22","unstructured":"Lakas A (1996) Les Transformations Lotomaton: une contribution \u00e0 la pr\u00e9-impl\u00e9mentation des syst\u00e8mes Lotos. Ph.D. thesis, Univ. Paris VI"},{"key":"69_CR23","unstructured":"Najm E, Lakas A, Serouchni A, Madelaine E, de\u00a0Simone R (1992) ALTO: an interactive transformation tool for LOTOS and LOTOMATON. In: Bolognesi T, Brinksma E, Vissers C (eds) Third lotosphere workshop and seminar, Pisa"},{"key":"69_CR24","unstructured":"Madelaine E (1992) Verification tools from the CONCUR project. In: Rozenberg G (ed) EATCS Bull, vol 47. B. Rovan, Bratislava"},{"key":"69_CR25","series-title":"LNCS","volume-title":"CONCUR\u201994","author":"R Cleaveland","year":"1994","unstructured":"Cleaveland R, Riely J (1994) Testing-based abstractions for value-passing systems. In: CONCUR\u201994, LNCS, vol 836. Springer, Heidelberg"},{"key":"69_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R Cleaveland","year":"1993","unstructured":"Cleaveland R, Hennessy M (1993) Testing equivalence as a bisimulation equivalence. Form Asp Comput 5:1\u201320","journal-title":"Form Asp Comput"},{"key":"69_CR27","volume-title":"Proc. of the XXIV international conference of the Chilean computer science society (SCCC\u201904)","author":"I Attali","year":"2004","unstructured":"Attali I, Barros T, Madelaine E (2004) Formalisation and proofs of the chilean electronic invoices system. In: Proc. of the XXIV international conference of the Chilean computer science society (SCCC\u201904). IEEE, Arica"},{"key":"69_CR28","volume-title":"3rd workshop on formal aspects of component systems","author":"T Barros","year":"2006","unstructured":"Barros T, Cansado A, Madelaine E, Rivera M (2006) Model checking distributed components: the Vercors platform. In: 3rd workshop on formal aspects of component systems. ENTCS, Prague"},{"key":"69_CR29","volume-title":"Proc of the XXVI international conference of the Chilean computer science society (SCCC\u201907)","author":"S Ahumada","year":"2007","unstructured":"Ahumada S, Apvrille L, Barros T, Cansado A, Madelaine E, Salageanu E (2007) Specifying fractal and GCM components With UML. In: Proc of the XXVI international conference of the Chilean computer science society (SCCC\u201907). IEEE, Iquique"}],"container-title":["annals of telecommunications - annales des t\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-008-0069-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12243-008-0069-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-008-0069-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,29]],"date-time":"2021-09-29T18:28:22Z","timestamp":1632940102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12243-008-0069-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,10]]},"references-count":29,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2009,2]]}},"alternative-id":["69"],"URL":"https:\/\/doi.org\/10.1007\/s12243-008-0069-7","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,10]]}}}