{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:41:02Z","timestamp":1725565262923},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223818"},{"type":"electronic","value":"9783540278153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27815-3_16","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T00:32:16Z","timestamp":1284424336000},"page":"164-180","source":"Crossref","is-referenced-by-count":5,"title":["State Space Reduction for Process Algebra Specifications"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wendelin","family":"Serwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Compilers: Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1986)"},{"key":"16_CR2","unstructured":"Ailloud, G.: Verification in Ecrins of Lotos Programs. In: Towards Practical Verification of Lotos specifications, Universiteit Twente, Technical Report ESPRIT\/ SEDOS\/C2\/N48.1 (1986)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-48294-6_11","volume-title":"Static Analysis","author":"M. Bozga","year":"1999","unstructured":"Bozga, M., Fernandez, J.-C., Ghirvu, L.: State Space Reduction based on Live Variables Analysis. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 164\u2013178. Springer, Heidelberg (1999)"},{"issue":"2\u20133","key":"16_CR4","first-page":"203","volume":"47","author":"M. Bozga","year":"2003","unstructured":"Bozga, M., Fernandez, J.-C., Ghirvu, L.: State Space Reduction based on Live Variables Analysis. Science of Computer Programming\u00a047(2\u20133), 203\u2013220 (2003)","journal-title":"Science of Computer Programming"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-48119-2_19","volume-title":"FM\u201999 - Formal Methods","author":"M. Bozga","year":"1999","unstructured":"Bozga, M., Fernandez, J.-C., Ghirvu, L., Graf, S., Krimm, J.-P., Mounier, L.: If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, p. 307. Springer, Heidelberg (1999)"},{"key":"16_CR6","first-page":"241","volume-title":"FORTE\u201999","author":"Y. Dong","year":"1999","unstructured":"Dong, Y., Ramakrishnan, C.R.: An Optimizing Compiler for Efficient Model Checking. In: FORTE\u201999, Beijing, October 1999, pp. 241\u2013256. Kluwer, Dordrecht (1999)"},{"key":"16_CR7","unstructured":"Londono, J.G.: Analyse de flot de donn\u00e9es dans un syst\u00e8me parall\u00e8le. M\u00e9moire de DEA, Institut National Polytechnique de Grenoble and Universit\u00e9 Joseph Fourier, Grenoble. Supervised by Hubert Garavel and defended on June 22, 1993 before the jury composed of Hubert Garavel, Farid Ouabdesselam, Claude Puech, and Jacques Voiron (1993)"},{"key":"16_CR8","unstructured":"Garavel, H.: Compilation et v\u00e9rification de programmes Lotos. Th\u00e8se de doctorat, Universit\u00e9 Joseph Fourier, Grenoble (November 1989)"},{"key":"16_CR9","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of Cadp 2001. EASST Newsletter, 4:13\u201324, Also INRIA Technical Report RT-0254 (August 2002)"},{"key":"16_CR10","unstructured":"Garavel, H., Sifakis, J.: Compilation and Verification of Lotos Specifications. In: 10th International Symposium on Protocol Specification, Testing and Verification, June 1990. IFIP, pp. 379\u2013394 (1990)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-52148-8_23","volume-title":"Automatic Verification Methods for Finite State Systems","author":"S. Graf","year":"1990","unstructured":"Graf, S., Richier, J.-L., Rodr\u00b4\u0131guez, C., Voiron, J.: What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 275\u2013285. Springer, Heidelberg (1990)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-48234-2_18","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"G.J. Holzmann","year":"1999","unstructured":"Holzmann, G.J.: The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 232\u2013244. Springer, Heidelberg (1999)"},{"key":"16_CR13","unstructured":"ISO\/IEC. Lotos \u2013 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, ISO, Gen\u00e8ve (September 1989)"},{"key":"16_CR14","unstructured":"Melton, R., Dill, D.L.: Murphi Annotated Reference Manual (1996), Release 3.1. Updated by C. Norris Ip and Ulrich Stern. Available at \n                    \n                      http:\/\/verify.stanford.edu\/dill\/Murphi\/Murphi3.1\/doc\/User.Manual"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27815-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:27:55Z","timestamp":1619998075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27815-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223818","9783540278153"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27815-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}