{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T21:40:02Z","timestamp":1745098802526,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342806"},{"type":"electronic","value":"9783642342813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34281-3_27","type":"book-chapter","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T18:38:09Z","timestamp":1351535889000},"page":"381-397","source":"Crossref","is-referenced-by-count":3,"title":["An Analytical and Experimental Comparison of CSP Extensions and Tools"],"prefix":"10.1007","author":[{"given":"Ling","family":"Shi","sequence":"first","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[]},{"given":"Gustavo","family":"Carvalho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)"},{"key":"27_CR2","unstructured":"Carvalho, G.H.P., Dias, T., Mota, A., Sampaio, A.: Analytical comparison of refinement checkers. In: SBMF, pp. 61\u201366 (2011)"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"27_CR4","unstructured":"Holzmann, G.: Spin model checker, the: primer and reference manual. Addison-Wesley Professional (2003)"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-642-24559-6_23","volume-title":"Formal Methods and Software Engineering","author":"J. Jesus","year":"2011","unstructured":"Jesus, J., Mota, A., Sampaio, A., Grijo, L.: Architectural Verification of Control Systems Using CSP. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 323\u2013339. Springer, Heidelberg (2011)"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A Model Checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-540-88194-0_18","volume-title":"Formal Methods and Software Engineering","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Fontaine, M.: Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 278\u2013297. Springer, Heidelberg (2008)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45251-6_6","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"M. Leuschel","year":"2001","unstructured":"Leuschel, M., Massart, T., Currie, A.: How to Make FDR Spin LTL Model Checking of CSP by Refinement. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 99\u2013118. Springer, Heidelberg (2001)"},{"issue":"3","key":"27_CR9","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s00165-007-0065-0","volume":"20","author":"G. Lowe","year":"2008","unstructured":"Lowe, G.: Specification of communicating processes: temporal logic versus refusals-based refinement. Form. Asp. Comput.\u00a020(3), 277\u2013294 (2008)","journal-title":"Form. Asp. Comput."},{"key":"27_CR10","unstructured":"Formal Systems (Europe) Ltd.: Failures-Divergence Refinement - FDR2 User Manual (version 2.91)"},{"key":"27_CR11","unstructured":"Murray, T.: On the limits of refinement-testing for model-checking CSP. Form. Asp. Comput., 1\u201338 (2011)"},{"key":"27_CR12","unstructured":"Palikareva, H., Ouaknine, J., Roscoe, A.W.: Faster FDR counterexample generation using SAT-solving. ECEASST\u00a023 (2009)"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Parashkevov, A.N., Yantchev, J.: ARC - a tool for efficient refinement and equivalence checking for CSP. In: ICA3PP, pp. 68\u201375 (1996)","DOI":"10.1109\/ICAPP.1996.562859"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: CSP is Expressive Enough for Pi (2010)","DOI":"10.1007\/978-1-84882-912-1_16"},{"key":"27_CR15","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR (1997)"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s00165-005-0065-x","volume":"17","author":"A.W. Roscoe","year":"2005","unstructured":"Roscoe, A.W.: On the expressive power of CSP refinement. Form. Asp. Comput.\u00a017, 93\u2013112 (2005)","journal-title":"Form. Asp. Comput."},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Springer-Verlag New York, Inc. (2010)","DOI":"10.1007\/978-1-84882-258-0"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-60630-0_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A.W. Roscoe","year":"1995","unstructured":"Roscoe, A.W., Gardiner, P.H.B., Goldsmith, M.H., Hulance, J.R., Jackson, D.M., Scattergood, J.B.: Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol.\u00a01019, pp. 133\u2013152. Springer, Heidelberg (1995)"},{"key":"27_CR19","unstructured":"Scattergood, B.: The Semantics and Implementation of Machine-Readable CSP. PhD thesis, University of Oxford (1998)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Shapiro, S.S., Wilk, M.B.: An analysis of variance test for normality (complete samples). Biometrika 3(52) (1965)","DOI":"10.2307\/2333709"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Shi, L.: An Analytical and Experimental Comparison of CSP Extensions and Tools. Technical report, NUS (2012), http:\/\/www.comp.nus.edu.sg\/~pat\/compare","DOI":"10.1007\/978-3-642-34281-3_27"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Sun, J., Liu, Y., Dong, J.S., Chen, C.: Integrating specification and programs for system modeling and verification. In: TASE, pp. 127\u2013135 (2009)","DOI":"10.1109\/TASE.2009.32"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"key":"27_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-05089-3_9","volume-title":"FM 2009: Formal Methods","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Roychoudhury, A., Liu, S., Dong, J.S.: Fair Model Checking with Process Counter Abstraction. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 123\u2013139. Springer, Heidelberg (2009)"},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. ACM Comput. Surv. 41(4) (2009)","DOI":"10.1145\/1592434.1592436"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34281-3_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T21:24:46Z","timestamp":1745097886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34281-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342806","9783642342813"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34281-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}