{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:24:10Z","timestamp":1742397850260},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540881933"},{"type":"electronic","value":"9783540881940"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88194-0_17","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T10:56:21Z","timestamp":1224240981000},"page":"258-277","source":"Crossref","is-referenced-by-count":5,"title":["A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking"],"prefix":"10.1007","author":[{"given":"Nick","family":"Moffat","sequence":"first","affiliation":[]},{"given":"Michael","family":"Goldsmith","sequence":"additional","affiliation":[]},{"given":"Bill","family":"Roscoe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Miller, A., Donaldson, A.F., Calder, M.: Symmetry in Temporal Logic Model Checking. ACM Comput. Surv.\u00a038(3) (2006)","DOI":"10.1145\/1132960.1132962"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. CACM, 21(8) (1978)","DOI":"10.1145\/359576.359585"},{"key":"17_CR3","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"17_CR4","unstructured":"Formal Systems (Europe) Ltd: Failures-Divergences Refinement: FDR2 User Manual (1992-2008)"},{"key":"17_CR5","unstructured":"Moffat, N., Goldsmith, M., Roscoe, A.W.: Towards Symmetry Aware Refinement Checking (Extended Abstract). In: Proceedings of International Symmetry Conference, Edinburgh, UK (2007)"},{"key":"17_CR6","volume-title":"Modelling and Analysis of Security Protocols","author":"P. Ryan","year":"2001","unstructured":"Ryan, P., Schneider, S., Goldsmith, M., Lowe, G., Roscoe, A.W.: Modelling and Analysis of Security Protocols. Addison-Wesley, Reading (2001)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D.M. Park","year":"1981","unstructured":"Park, D.M.: Concurrency on automata and infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104. Springer, Heidelberg (1981)"},{"key":"17_CR8","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"1\/2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00625969","volume":"9","author":"E. Clarke","year":"1996","unstructured":"Clarke, E., Enders, R., Filkhorn, T., Jha, S.: Exploiting Symmetry in Temporal Logic Model Checking. Formal Methods in System Design\u00a09(1\/2), 77\u2013104 (1996)","journal-title":"Formal Methods in System Design"},{"issue":"12","key":"17_CR10","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00625970","volume":"9","author":"E.A. Emerson","year":"1996","unstructured":"Emerson, E.A., Sistla, A.P.: Symmetry and model checking. Formal Methods in System Design\u00a09(12), 105\u2013131 (1996)","journal-title":"Formal Methods in System Design"},{"key":"17_CR11","unstructured":"Lazi\u0107, R.S.: A semantic study of data-independence with applications to the mechanical verification of concurrent systems. Ph.D. thesis, Oxford University Computing Laboratory (1999)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Havlicek, J., Trefler, R.: Virtual Symmetry Reduction. In: Proceedings of the 15th IEEE Symposium on Logic in Computer Science (2000)","DOI":"10.1109\/LICS.2000.855761"}],"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-540-88194-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T15:32:38Z","timestamp":1551627158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88194-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540881933","9783540881940"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88194-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}