{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T07:03:17Z","timestamp":1768287797981,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676645","type":"print"},{"value":"9783540451013","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10721959_19","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T16:12:31Z","timestamp":1167408751000},"page":"236-254","source":"Crossref","is-referenced-by-count":108,"title":["Reducing Model Checking of the Many to the Few"],"prefix":"10.1007","author":[{"given":"E. Allen","family":"Emerson","sequence":"first","affiliation":[]},{"given":"Vineet","family":"Kahlon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0020-0190(86)90071-2","volume":"15","author":"K. Apt","year":"1986","unstructured":"Apt, K., Kozen, D.: Limits for automatic verification of finite-state concurrent systems. Information Processing Letters\u00a015, 307\u2013309 (1986)","journal-title":"Information Processing Letters"},{"issue":"1","key":"19_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/271510.271519","volume":"20","author":"P.C. Attie","year":"1998","unstructured":"Attie, P.C., Emerson, E.A.: Synthesis of Concurrent Systems with Many Similar Processes. ACM Transactions on Programming Languages and Systems\u00a020(1), 51\u2013115 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"19_CR3","first-page":"13","volume":"81","author":"M.C. Browne","year":"1989","unstructured":"Browne, M.C., Clarke, E.M., Grumberg, O.: Reasoning about Networks with Many Identical Finite State Processes. Information and Control\u00a081(1), 13\u201331 (1989)","journal-title":"Information and Control"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O.: Avoiding the State Explosion Problem in Temporal Logic Model Checking Algorithms. In: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, pp. 294\u2013303 (1987)","DOI":"10.1145\/41840.41865"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/3-540-60218-6_30","volume-title":"CONCUR \u201995 Concurrency Theory","author":"E.M. Clarke","year":"1995","unstructured":"Clarke, E.M., Grumberg, O., Jha, S.: Verifying Parameterized Networks using Abstracion and Regular Languages. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 395\u2013407. Springer, Heidelberg (1995)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Namjoshi, K.S.: Reasoning about Rings. In: Conference Record of POPL 1995: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 85\u201394 (1995)","DOI":"10.1145\/199448.199468"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"E.A. Emerson","year":"1996","unstructured":"Emerson, E.A., Namjoshi, K.S.: Automatic Verification of Parameterized Synchronous Systems. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"E.A. Emerson","year":"1993","unstructured":"Emerson, E.A., Sistla, A.P.: Symmetry and Model Checking. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697. Springer, Heidelberg (1993)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E., Trefler, R.: Parametric Quantitative Temporal Reasoning.In: LICS(1999),pp. 336\u2013343 (1999)","DOI":"10.1109\/LICS.1999.782628"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"German, S.M., Sistla, A.P.: Reasoning about Systems with Many Processes.J. ACM\u00a039(3) (July 1992)","DOI":"10.1145\/146637.146681"},{"key":"19_CR11","unstructured":"Ip, C., Dill, D.: Better verification through symmetry. In: Proceedings of the 11th International Symposium on Computer Hardware Description Languages and their Applications (1993)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61474-5_65","volume-title":"Computer Aided Verification","author":"C. Ip","year":"1996","unstructured":"Ip, C., Dill, D.: Verifying Systems with Replicated Components in Murphi. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 147\u2013158. Springer, Heidelberg (1996)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Kurshan, R.P., McMillan, L.: A Structural Induction Theorem for Processes. In: Proceedings of the Eight Annual ACM Symposium on Principles of Distributed Computing, pp. 239\u2013247 (1989)","DOI":"10.1145\/72981.72998"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Lichtenstein, O., Pnueli, A.: Checking that finite state concurrent programs satisfy their linear specifications. In: Conference Record of POPL 1985: 12nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 97\u2013107 (1985)","DOI":"10.1145\/318593.318622"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Lubachevsky, B.: An Approach to Automating the Verification of Compact Parallel Coordination Programs I. Acta Informatica\u00a021 (1984)","DOI":"10.1007\/BF00289237"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/3-540-48153-2_17","volume-title":"Correct Hardware Design and Verification Methods","author":"K. McMillan","year":"1999","unstructured":"McMillan, K.: Verification of Infinite State Systems by Compositional Model Checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 219\u2013237. Springer, Heidelberg (1999)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the eighteenth Symposium on Foundations of Computer Science (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Pong, F., Dubois, M.: A New Approach for the Verification of Cache Coherence Protocols. IEEE Transactions on Parallel and Distributed Systems (August 1995)","DOI":"10.1109\/71.406955"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1007\/3-540-63166-6_40","volume-title":"Computer Aided Verification","author":"A.P. Sistla","year":"1997","unstructured":"Sistla, A.P.: Parameterized Verification of Linear Networks Using Automata as Invariants. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 412\u2013423. Springer, Heidelberg (1997)"},{"key":"19_CR20","unstructured":"Vardi, M., Wolper, P.: An Automata-theoretic Approach to Automatic Program Verification. In: Proceedings, Symposium on Logic in Computer Science, pp. 332\u2013344 (1986)"},{"key":"19_CR21","unstructured":"Vernier, I.: Specification and Verification of Parameterized Parallel Programs. In: Proceedings of the 8th International Symposium on Computer and Information Sciences, Istanbul, Turkey, pp. 622\u2013625 (1993)"},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Automatic Verification Methods for Finite State Systems","author":"P. Wolper","year":"1989","unstructured":"Wolper, P., Lovinfosse, V.: Verifying Properties of Large Sets of Processes with Network Invariants. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407. Springer, Heidelberg (1989)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction - CADE-17"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10721959_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T06:35:47Z","timestamp":1553322947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10721959_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676645","9783540451013"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/10721959_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}