{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:31:54Z","timestamp":1761323514044},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733676"},{"type":"electronic","value":"9783540733683"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73368-3_18","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T18:29:34Z","timestamp":1188412174000},"page":"158-163","source":"Crossref","is-referenced-by-count":106,"title":["CADP\u00a02006: A Toolbox for the Construction and Analysis of Distributed Processes"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[]},{"given":"Wendelin","family":"Serwe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Rough Sets and Current Trends in Computing","author":"D. Bergamini","year":"2001","unstructured":"Bergamini, D., Descoubes, N., Joubert, C., Mateescu, R.: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. In: Ziarko, W., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, Springer, Heidelberg (2001)"},{"key":"18_CR2","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 (C\u00c6SAR\/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, Springer, Heidelberg (1996)"},{"key":"18_CR3","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001 (Also available as INRIA Technical Report\u00a0RT-0254). EASST Newsletter\u00a04, 13\u201324 (2002)","journal-title":"EASST Newsletter"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Model Checking Software","author":"H. Garavel","year":"2004","unstructured":"Garavel, H., Mateescu, R.: SEQ.OPEN: A Tool for Efficient Trace-Based Verification. In: Graf, S., Mounier, L. (eds.) Model Checking Software. LNCS, vol.\u00a02989, Springer, Heidelberg (2004)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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-Sturm, I., Stragier, G.: DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, Springer, Heidelberg (2006)"},{"issue":"2","key":"18_CR6","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. Theoretical Computer Science\u00a0351(2), 131\u2013145 (2006)","journal-title":"Theoretical Computer Science"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","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.) ETAPS 2003 and TACAS 2003. LNCS, vol.\u00a02619, Springer, Heidelberg (2003)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2005)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_13","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"F. Lang","year":"2006","unstructured":"Lang, F.: Refined Interfaces for Compositional Verification. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, Springer, Heidelberg (2006)"},{"key":"18_CR10","volume-title":"Proc. of FMICS 2005","author":"R. Mateescu","year":"2005","unstructured":"Mateescu, R.: On-the-fly State Space Reductions for Weak Equivalences. In: Proc. of FMICS 2005, ACM Computer Society Press, New York (2005)"},{"issue":"1","key":"18_CR11","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10009-005-0194-9","volume":"8","author":"R. Mateescu","year":"2006","unstructured":"Mateescu, R.: CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems. Springer International Journal on Software Tools for Technology Transfer (STTT)\u00a08(1), 37\u201356 (2006)","journal-title":"Springer International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"3","key":"18_CR12","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":"18_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"G. Pace","year":"2003","unstructured":"Pace, G., Lang, F., Mateescu, R.: Calculating \u03c4-Confluence Compositionally. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73368-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T21:35:34Z","timestamp":1558474534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73368-3_18"}},"subtitle":["(Tool Paper)"],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540733676","9783540733683"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73368-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}