{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:31:16Z","timestamp":1743136276243,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204916"},{"type":"electronic","value":"9783540399582"}],"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-39958-2_17","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:06:04Z","timestamp":1294394764000},"page":"244-260","source":"Crossref","is-referenced-by-count":7,"title":["Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Tronel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/3-540-45923-5_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Barthe","year":"2002","unstructured":"Barthe, G., Gurov, D., Huisman, M.: Compositional Verification of Secure Applet Interactions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 15\u201332. Springer, Heidelberg (2002)"},{"key":"17_CR2","volume-title":"Proceedings of the Third International Conference on Multi-Agent Systems ICMAS 1998","author":"F. Brazier","year":"1998","unstructured":"Brazier, F., Cornelissen, F., Gustavsson, R., Jonker, C.M., Lindeberg, O., Polak, B., Treur, J.: Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation. In: Proceedings of the Third International Conference on Multi-Agent Systems ICMAS 1998. IEEE, Los Alamitos (1998)"},{"key":"#cr-split#-17_CR3.1","doi-asserted-by":"crossref","unstructured":"Chehaibar, G., Garavel, H., Mounier, L., Tawbi, N., Zulian, F.: Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In: Gotzhein, R., Bredereke, J. (eds.) Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE\/PSTV 1996, IFIP, Kaiserslautern, Germany, pp. 435???450 (1996);","DOI":"10.1007\/978-0-387-35079-0_28"},{"key":"#cr-split#-17_CR3.2","unstructured":"Full version available as INRIA Research Report RR-2958"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/295558.295570","volume":"8","author":"S.C. Cheung","year":"1999","unstructured":"Cheung, S.C., Kramer, J.: Checking Safety Properties Using Compositional Reachability Analysis. ACM Transactions on Software Engineering and Methodology\u00a08(1), 49\u201378 (1999)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Robby, S.L., Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code. In: Proceedings of the 22nd International Conference on Software Engineering ICSE 2000, Limerick, Ireland, pp. 439\u2013448 (June 2000)","DOI":"10.1145\/337180.337234"},{"key":"#cr-split#-17_CR6.1","doi-asserted-by":"crossref","unstructured":"Cornejo, M.A., Garavel, H., Mateescu, R., de Palma, N.: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent- Based Applications. In: Laurentowski, A., Kosinski, J., Mossurska, Z., Ruchala, R. (eds.) Proceedings of the 3rd IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems DAIS 2001, IFIP, Krakow, Poland, pp. 229???242 (2001);","DOI":"10.1007\/0-306-47005-5_20"},{"key":"#cr-split#-17_CR6.2","unstructured":"Full version available as INRIA Research Report RR-4222"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054165","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"1998","unstructured":"Garavel, H.: OPEN\/C\u00c6SAR: An Open Software Architecture for Verification, Simulation, and Testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 68\u201384. Springer, Heidelberg (1998); Full version available as INRIA Research Report RR-3352"},{"key":"#cr-split#-17_CR8.1","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F.: SVL: a Scripting Language for Compositional Verification. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE 2001, IFIP, Cheju Island, Korea, pp. 377???392 (2001);","DOI":"10.1007\/0-306-47003-9_24"},{"key":"#cr-split#-17_CR8.2","unstructured":"Full version available as INRIA Research Report RR-4223"},{"key":"17_CR9","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter\u00a04, 13\u201324 (2002) Also Available as INRIA Technical Report RT-0254","journal-title":"European Association for Software Science and Technology (EASST) Newsletter"},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008645800955","volume":"6","author":"D. Giannakopoulou","year":"1999","unstructured":"Giannakopoulou, D., Kramer, J., Cheung, S.C.: Analysing the behaviour of distributed systems using TRACTA. Journal of Automated Software Engineering, Special issue on Automated Analysis of Software\u00a06(1), 7\u201335 (1999)","journal-title":"Journal of Automated Software Engineering, Special issue on Automated Analysis of Software"},{"issue":"5","key":"17_CR11","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01211911","volume":"8","author":"S. Graf","year":"1996","unstructured":"Graf, S., Steffen, B., L\u00fcttgen, G.: Compositional Minimization of Finite State Systems using Interface Specifications. Formal Aspects of Computation\u00a08(5), 607\u2013616 (1996)","journal-title":"Formal Aspects of Computation"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BFb0023732","volume-title":"Computer-Aided Verification","author":"S. Graf","year":"1990","unstructured":"Graf, S., Steffen, B.: Compositional Minimization of Finite State Systems. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol.\u00a0531, pp. 186\u2013196. Springer, Heidelberg (1990)"},{"key":"17_CR13","unstructured":"ISO\/IEC. LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization \u2014 Information Processing Systems \u2014 Open Systems Interconnection, Gen\u00e8ve (1989)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-45139-0_8","volume-title":"Model Checking Software","author":"G. Jia","year":"2001","unstructured":"Jia, G., Graf, S.: Verification Experiments on the MASCARA Protocol. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 123\u2013142. Springer, Heidelberg (2001)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035392","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.-P. Krimm","year":"1997","unstructured":"Krimm, J.-P., Mounier, L.: Compositional State Space Generation from LOTOS Programs. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217. Springer, Heidelberg (1997) Extended version with proofs available as Research Report VERIMAG RR97-01"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-46002-0_33","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Lang","year":"2002","unstructured":"Lang, F.: Compositional Verification using SVL Scripts. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 465\u2013469. Springer, Heidelberg (2002)"},{"key":"17_CR17","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system (relase 3.06), documentation and user\u2019s manual (2002), http:\/\/caml.inria.fr\/ocaml\/htmlman\/index.html"},{"issue":"3","key":"17_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-6423(02)00094-1","volume":"46","author":"R. Mateescu","year":"2003","unstructured":"Mateescu, R., Sighireanu, M.: Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming\u00a046(3), 255\u2013281 (2003)","journal-title":"Science of Computer Programming"},{"key":"17_CR19","unstructured":"de Roever, W.-P., de Boer, F., Hanneman, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification \u2013 Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science, vol.\u00a054 (2001)"},{"issue":"9","key":"17_CR20","doi-asserted-by":"publisher","first-page":"940","DOI":"10.1109\/26.35374","volume":"37","author":"K.K. Sabnani","year":"1989","unstructured":"Sabnani, K.K., Lapone, A.M., Uyar, M.U.: An Algorithmic Procedure for Checking Safety Properties of Protocols. IEEE Transactions on Communications\u00a037(9), 940\u2013948 (1989)","journal-title":"IEEE Transactions on Communications"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model Checking Programs. In: Ledru, Y. (ed.) Proceedings of the 15th IEEE International Conference on Automated Software Engineering ASE 2000, Grenoble, France, pp. 3\u201312 (2000)","DOI":"10.1109\/ASE.2000.873645"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39958-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:41:22Z","timestamp":1559914882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39958-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204916","9783540399582"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39958-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}