{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:06:36Z","timestamp":1743494796110},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423454"},{"type":"electronic","value":"9783540445852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44585-4_32","type":"book-chapter","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T14:39:50Z","timestamp":1265899190000},"page":"350-362","source":"Crossref","is-referenced-by-count":23,"title":["Distributed Symbolic Model Checking for \u03bc-Calculus"],"prefix":"10.1007","author":[{"given":"Orna","family":"Grumberg","sequence":"first","affiliation":[]},{"given":"Tamir","family":"Heyman","sequence":"additional","affiliation":[]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"S. Ben-David, T. Heyman, O. Grumberg, and A. Schuster. Scalable Distributed On-the-Fly Symbolic Model Checking. In Third International Conference on Formal methods in Computer-Aided Design (FMCAD\u201900), Austin, Texas, November 2000.","DOI":"10.1007\/3-540-40922-X_24"},{"issue":"8","key":"32_CR2","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E Bryant. Graph-based Algorithms for Boolean FunctionManipulation. IEEE Transactions on Computers, C-35(8):677\u2013691, 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"32_CR3","unstructured":"J. R. Burch, E. M. Clarke, and D. E. Long. Symbolic Model Checking with Partitioned Transition Relations. In A. Halaas and P. B. Denyer, editors, Proceedings of the 1991 International Conference on Very Large Scale Integration, August 1991."},{"issue":"2","key":"32_CR4","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J. R. Burch","year":"1992","unstructured":"J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic Model Checking: 1020 States and Beyond. Information and Computation, 98(2):142\u2013170, 1992.","journal-title":"Information and Computation"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. In Proceedings of the Tenth Annual ACM Symposium on Principles of Programming Languages, January 1983.","DOI":"10.1145\/567067.567080"},{"key":"32_CR6","unstructured":"E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT press, December 1999."},{"key":"32_CR7","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/BF00264284","volume":"27","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland. Tableau-basedmodel checking in the propositional mu-calculus. Acta Informatica, 27:725\u2013747, 1990.","journal-title":"Acta Informatica"},{"key":"32_CR8","first-page":"365","volume-title":"Workshop on Automatic Verification Methods for Finite State Systems","author":"O. Coudert","year":"1989","unstructured":"O. Coudert, J. C. Madre, and C. Berthet. Verifying of Synchronous Sequential Machines Based on Symbolic Execution. In J. Sifakis, editor, Workshop on Automatic Verification Methods for Finite State Systems, pages 365\u2013373. Springer-Verlag, Grenoble, France, 1989."},{"key":"32_CR9","unstructured":"E. A. Emerson and C.-L. Lei. Efficient Model Checking in Fragments of the Propositional Mu-calculus. In Proceedings of the First Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, June 1986."},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"T. Heyman, D. Geist, O. Grumberg, and A. Schuster. Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. In Proc. of the 12th International Conference on Computer Aided Verification. Springer-Verlag, June 2000.","DOI":"10.1007\/10722167_6"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"D. Kozen. Results on the propositional \u03bc-calculus. TCS, 27, 1983.","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"O. Lichtenstein and A. Pnueli. Checking that finite state concurrent programs satisfy their linear specification. In Proceedings of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pages 97\u2013107, January 1985.","DOI":"10.1145\/318593.318622"},{"key":"32_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-58179-0_66","volume-title":"Proc. of the Sixth International Conference on Computer Aided Verification","author":"D. Long","year":"1994","unstructured":"D. Long, A. Browne, E. Clark, S. jha, and W. Marrero. An Improved Algorithm for the Evaluation of Fixpoint Expressions. In Proc. of the Sixth International Conference on Computer Aided Verification, LNCS 818, pages 338\u2013350. Springer-Verlag, 1994."},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"A. Narayan, A. Isles, J. Jain, R. Brayton, and A. L. Sangiovanni-Vincentelli. Reachability Analysis Using Partitioned-ROBDDs. In Proceedings of the IEEE International Conference on Computer Aided Design, pages 388\u2013393. IEEE Computer Society Press, June 1997.","DOI":"10.1109\/ICCAD.1997.643565"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"J.P. Quielle and J. Sifakis. Specification and verification of concurrent systems in CESAR. In Proceedings of the Fifth International Symposium in Programming, 1981.","DOI":"10.1007\/3-540-11494-7_22"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"C. Stirling and D. J. Walker. Local Model Checking in the Model Mu-Calculus. In Proc. of the 1989 Int. Joint Conf. on Theory and Practice of Software Development, 1989.","DOI":"10.1007\/3-540-50939-9_144"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math, 1955.","DOI":"10.2140\/pjm.1955.5.285"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"G. Winskel. Model checking in the modal \u03bc-calculus. In Proceedings of the Sixteenth International Colloquium on Automata, Languages, and Programming, 1989.","DOI":"10.1007\/BFb0035797"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44585-4_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T18:28:43Z","timestamp":1558808923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44585-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423454","9783540445852"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44585-4_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}