{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T08:54:03Z","timestamp":1758704043562},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198342"},{"type":"electronic","value":"9783642198359"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19835-9_33","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T15:03:16Z","timestamp":1300114996000},"page":"372-387","source":"Crossref","is-referenced-by-count":89,"title":["CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wendelin","family":"Serwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"33_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)90266-6","volume":"126","author":"H.R. Andersen","year":"1994","unstructured":"Andersen, H.R.: Model Checking and Boolean Graphs. TCS\u00a0126(1), 3\u201330 (1994)","journal-title":"TCS"},{"key":"33_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/978-3-540-31980-1_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Bergamini","year":"2005","unstructured":"Bergamini, D., Descoubes, N., Joubert, C., Mateescu, R.: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 581\u2013585. Springer, Heidelberg (2005)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Bodeveix, J.-P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: FIACRE: An Intermediate Language for Model Verification in the Topcased Environment. In: ERTS (2008)","DOI":"10.1007\/978-3-642-01924-1_15"},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/s10009-004-0185-2","volume":"7","author":"S. Blom","year":"2005","unstructured":"Blom, S., Orzan, S.: Distributed state space minimization. STTT\u00a07, 280\u2013291 (2005)","journal-title":"STTT"},{"key":"33_CR5","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the Lotos NT to Lotos Translator (Version 5.1). Tech. Report INRIA\/VASY, 117 pages (2010)"},{"key":"33_CR6","unstructured":"Chossart, R.: \u00c9valuation d\u2019outils de v\u00e9rification pour les sp\u00e9cifications de syst\u00e8mes d\u2019information. M\u00e9moire ma\u00eetre \u00e8s sciences, Univ. de Sherbrooke, Canada (2010)"},{"key":"33_CR7","unstructured":"Cleaveland, R., Li, T., Sims, S.: The Concurrency Workbench of the New Century (Version 1.2). User\u2019s Manual (2000)"},{"key":"33_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Automatic Verification Methods for Finite State Systems","author":"R. Cleaveland","year":"1990","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The Concurrency Workbench. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407. Springer, Heidelberg (1990)"},{"key":"33_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-16561-0_18","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"N. Coste","year":"2010","unstructured":"Coste, N., Garavel, H., Hermanns, H., Lang, F., Mateescu, R., Serwe, W.: Ten Years of Performance Evaluation for Concurrent Systems Using CADP. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol.\u00a06416, pp. 128\u2013142. Springer, Heidelberg (2010)"},{"key":"33_CR10","unstructured":"Deavours, D.D., Sanders, W.H.: An Efficient Well-Specified Check. In: 8th International Workshop on Petri Nets and Performance Models, PNPM 1999 (1999)"},{"key":"33_CR11","unstructured":"Fernandez, J.-C.: ALDEBARAN\u00a0: un syst\u00e8me de v\u00e9rification par r\u00e9duction de processus communicants. Th\u00e8se de Doctorat, Univ. J.\u00a0Fourier, Grenoble (1988)"},{"key":"33_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., Sighireanu, M.: Cadp (Caesar\/Aldebarab Development Package): A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, Springer, Heidelberg (1996)"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55179-4_18","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1992","unstructured":"Fernandez, J.-C., Mounier, L.: \u201cOn the Fly\u201d Verification of Behavioural Equivalences and Preorders. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, Springer, Heidelberg (1992)"},{"key":"33_CR14","unstructured":"Garavel, H.: Compilation et v\u00e9rification de programmes Lotos. Th\u00e8se de Doctorat, Univ. J.\u00a0Fourier, Grenoble (1989)"},{"key":"33_CR15","unstructured":"Garavel, H.: Compilation of Lotos Abstract Data Types. In: FORTE (1989)"},{"key":"33_CR16","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\/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, p. 68. Springer, Heidelberg (1998)"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Garavel, H.: Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. In: LIX Colloquium on Emerging Trends in Concurrency Theory. ENTCS, vol.\u00a0209 (2008)","DOI":"10.1016\/j.entcs.2008.04.009"},{"key":"33_CR18","unstructured":"Garavel, H., Lang, F.: SVL: a Scripting Language for Compositional Verification. In: FORTE. IFIP (2001)"},{"key":"33_CR19","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of Cadp \u00a02001. EASST Newsletter\u00a04, 13\u201324 (2002)","journal-title":"EASST Newsletter"},{"key":"33_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP\u00a02006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"33_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/11691372_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Garavel","year":"2006","unstructured":"Garavel, H., Mateescu, R., Bergamini, D., Curic, A., Descoubes, N., Joubert, C., Smarandache, I., Stragier, G.: DISTRIBUTOR and BCGMERGE: Tools for Distributed Explicit State Space Generation. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol.\u00a03920, pp. 445\u2013449. Springer, Heidelberg (2006)"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-45139-0_14","volume-title":"Model Checking Software","author":"H. Garavel","year":"2001","unstructured":"Garavel, H., Mateescu, R., Smarandache, I.: Parallel state space construction for model-checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, p. 217. Springer, Heidelberg (2001)"},{"issue":"3","key":"33_CR23","first-page":"100","volume":"74","author":"H. Garavel","year":"2009","unstructured":"Garavel, H., Sala\u00fcn, G., Serwe, W.: On the Semantics of Communicating Hardware Processes and their Translation into Lotos for the Verification of Asynchronous Circuits with Cadp. SCP\u00a074(3), 100\u2013127 (2009)","journal-title":"SCP"},{"issue":"2","key":"33_CR24","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.tcs.2005.09.064","volume":"351","author":"H. Garavel","year":"2006","unstructured":"Garavel, H., Serwe, W.: State Space Reduction for Process Algebra Specifications. TCS\u00a0351(2), 131\u2013145 (2006)","journal-title":"TCS"},{"key":"33_CR25","unstructured":"Garavel, H., Sifakis, J.: Compilation and Verification of Lotos Specifications. In: PSTV. IFIP (1990)"},{"key":"33_CR26","doi-asserted-by":"crossref","unstructured":"Garavel, H., Sighireanu, M.: A Graphical Parallel Composition Operator for Process Algebras. In: FORTE\/PSTV (1999)","DOI":"10.1007\/978-0-387-35578-8_11"},{"key":"33_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-02652-2_20","volume-title":"Model Checking Software","author":"H. Garavel","year":"2009","unstructured":"Garavel, H., Thivolle, D.: Verification of GALS systems by combining synchronous languages and process calculi. In: P\u0103s\u0103reanu, C.S. (ed.) Model Checking Software. LNCS, vol.\u00a05578, pp. 241\u2013260. Springer, Heidelberg (2009)"},{"key":"33_CR28","unstructured":"Garavel, H., Turlier, P.: Caesaradt: un compilateur pour les types abstraits alg\u00e9briques du langage Lotos. In: Actes du CFIP (1993)"},{"key":"33_CR29","unstructured":"Helmstetter, C.: TLM.Open: a SYSTEMC \/TLM Front-End for the CADP Verification Toolbox, http:\/\/hal.archives-ouvertes.fr\/hal-00429070\/"},{"key":"33_CR30","doi-asserted-by":"crossref","unstructured":"Helmstetter, C., Ponsini, O.: A Comparison of Two SystemC\/TLM Semantics for Formal Verification. In: MEMOCODE (2008)","DOI":"10.1109\/MEMCOD.2008.4547687"},{"key":"33_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45804-2_4","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains and the Quest for Quantified Quality. In: Hermanns, H. (ed.) Interactive Markov Chains. LNCS, vol.\u00a02428, p. 57. Springer, Heidelberg (2002)"},{"key":"33_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/3-540-36577-X_30","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Hermanns","year":"2003","unstructured":"Hermanns, H., Joubert, C.: A Set of Performance and Dependability Analysis Components for CADP. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 425\u2013430. Springer, Heidelberg (2003)"},{"key":"33_CR33","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"33_CR34","unstructured":"ISO\/IEC. Lotos \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization, Geneva (1989)"},{"key":"33_CR35","unstructured":"ISO\/IEC. Enhancements to Lotos (Elotos). International Standard 15437:2001, International Organization for Standardization, Geneva (2001)"},{"key":"33_CR36","unstructured":"Khan, A.M.: Connection of Compositional Verification Tools for Embedded Systems. M\u00e9moire master 2 recherche, Univ. J.\u00a0Fourier, Grenoble (2006)"},{"key":"33_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11589976_6","volume-title":"Integrated Formal Methods","author":"F. Lang","year":"2005","unstructured":"Lang, F.: Exp.Open 2.0: A flexible tool integrating partial order, compositional, and on-the-fly verification methods. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 70\u201388. Springer, Heidelberg (2005)"},{"issue":"6","key":"33_CR38","first-page":"681","volume":"22","author":"F. Lang","year":"2010","unstructured":"Lang, F., Sala\u00fcn, G., H\u00e9rilier, R., Kramer, J., Magee, J.: Translating FSP into LOTOS and Networks of Automata. FACJ\u00a022(6), 681\u2013711 (2010)","journal-title":"FACJ"},{"key":"33_CR39","volume-title":"Verification of Modal Properties Using Boolean Equation Systems","author":"A. Mader","year":"1997","unstructured":"Mader, A.: Verification of Modal Properties Using Boolean Equation Systems. Bertz, Berlin (1997)"},{"key":"33_CR40","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. Wiley, Chichester (2006)"},{"key":"33_CR41","unstructured":"Mateescu, R.: V\u00e9rification des propri\u00e9t\u00e9s temporelles des programmes parall\u00e8les. Th\u00e8se de Doctorat, Institut National Polytechnique de Grenoble (April 1998)"},{"key":"33_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-46419-0_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Mateescu","year":"2000","unstructured":"Mateescu, R.: Efficient Diagnostic Generation for Boolean Equation Systems. In: Graf, S. (ed.) TACAS 2000. LNCS, vol.\u00a01785, p. 251. Springer, Heidelberg (2000)"},{"issue":"1","key":"33_CR43","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10009-005-0194-9","volume":"8","author":"R. Mateescu","year":"2006","unstructured":"Mateescu, R.: Caesarsolve: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems. STTT\u00a08(1), 37\u201356 (2006)","journal-title":"STTT"},{"key":"33_CR44","unstructured":"Mateescu, R., Garavel, H.: Xtl: A Meta-Language and Tool for Temporal Logic Model-Checking. In: STTT. BRICS (1998)"},{"key":"33_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-16265-7_17","volume-title":"Integrated Formal Methods","author":"R. Mateescu","year":"2010","unstructured":"Mateescu, R., Sala\u00fcn, G.: Translating Pi-Calculus into LOTOS NT. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 229\u2013244. Springer, Heidelberg (2010)"},{"issue":"3","key":"33_CR46","first-page":"255","volume":"46","author":"R. Mateescu","year":"2003","unstructured":"Mateescu, R., Sighireanu, M.: Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. SCP\u00a046(3), 255\u2013281 (2003)","journal-title":"SCP"},{"key":"33_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-68237-0_12","volume-title":"FM 2008: Formal Methods","author":"R. Mateescu","year":"2008","unstructured":"Mateescu, R., Thivolle, D.: A Model Checking Language for Concurrent Value-Passing Systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 148\u2013164. Springer, Heidelberg (2008)"},{"issue":"3","key":"33_CR48","first-page":"363","volume":"56","author":"O. Ponsini","year":"2005","unstructured":"Ponsini, O., F\u00e9d\u00e8le, C., Kounalis, E.: Rewriting of imperative programs into logical equations. SCP\u00a056(3), 363\u2013401 (2005)","journal-title":"SCP"},{"key":"33_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-540-68237-0_20","volume-title":"FM 2008: Formal Methods","author":"O. Ponsini","year":"2008","unstructured":"Ponsini, O., Serwe, W.: A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 278\u2013293. Springer, Heidelberg (2008)"},{"key":"33_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-540-77050-3_37","volume-title":"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science","author":"S. Schewe","year":"2007","unstructured":"Schewe, S.: Solving Parity Games in Big Steps. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol.\u00a04855, pp. 449\u2013460. Springer, Heidelberg (2007)"},{"key":"33_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BFb0054166","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P. Stevens","year":"1998","unstructured":"Stevens, P., Stirling, C.: Practical Model-Checking Using Games. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, p. 85. Springer, Heidelberg (1998)"},{"key":"33_CR52","unstructured":"Thivolle, D.: Langages modernes pour la v\u00e9rification des syst\u00e8mes asynchrones. PhD thesis, Univ. J.\u00a0Fourier Grenoble and Polytechnic. Univ. of Bucharest (2011)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19835-9_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T08:53:42Z","timestamp":1637398422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19835-9_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198342","9783642198359"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19835-9_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}