{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:35Z","timestamp":1725663575248},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569220"},{"type":"electronic","value":"9783540477877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:54:56Z","timestamp":1330239296000},"page":"85-96","source":"Crossref","is-referenced-by-count":8,"title":["Symbolic equivalence checking"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Fernandez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kerbrat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Mounier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"8_CR1","unstructured":"A. Arnold and M. Nivat. Comportement de processus. Les math\u00e9matiques de l'informatique, 1982."},{"key":"8_CR2","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang. Symbolic Model Checking: 1020 states and beyond. Technical Report, Carnegie Mellon University, 1989."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"A. Bouali and R. de Simone. Symbolic bisimulation minimisation. In Fourth Workshop on Computer-Aided Verification,Montreal, June 1992.","DOI":"10.1007\/3-540-56496-9_9"},{"key":"8_CR4","unstructured":"A. Bouajjani, J.C. Fernandez, and N. Halbwachs. Minimal model generation. In Workshop on Computer-aided Verification, Rutgers, American Mathematical Society, Association for Computing Machinery, June 1990."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J.C. Fernandez, N. Halbwachs, C. Ratel, and P. Raymond. Minimal state graph generation. Science of Computer Programming, 18(3), June 1992.","DOI":"10.1016\/0167-6423(92)90018-7"},{"key":"8_CR6","volume-title":"Software Engineering Department Technical Report HPL-91-63","author":"S. Bainbridge","year":"1990","unstructured":"S. Bainbridge and L. Mounier. Specification and Verification of a Reliable Multicast Protocol. Software Engineering Department Technical Report HPL-91-63, Hewlett-Packard Laboratories, Bristol, U.K, 1990."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.","DOI":"10.1109\/TC.1986.1676819"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th POPL, january 1977.","DOI":"10.1145\/512950.512973"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th. Annual Symp. on Principles of Programming Languages, pages 84\u201387, 1977.","DOI":"10.1145\/512760.512770"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"R. Enders, T. Filkorn, and D. Taubner. Generating bdds for symbolic model checking in ccs. In Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), 1991.","DOI":"10.1007\/3-540-55179-4_20"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"J. C. Fernandez. An implementation of an efficient algorithm foi bisimulation equivalence. Science of Computer Programming, 13(2\u20133), May 1990.","DOI":"10.1016\/0167-6423(90)90071-K"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"J.Cl. Fernandez, H. Garavel, L. Mounier, A. Rasse, C. Rodriguez, and J. Sifakis. A tool box for the verification of lotos programs. In 14th International Conference on software Engineering, 11\u201315 May 1992.","DOI":"10.1145\/143062.143124"},{"key":"8_CR13","volume-title":"LNCS 575","author":"J.-C. Fernandez","year":"1991","unstructured":"J.-C. Fernandez and L. Mounier. \u201con the fly\u201d verification of behavioural equivalences and preorders. In Workshop on Computer-aided Verification, Aalborg University, Denmark, LNCS 575, Springer Verlag, July 1\u20134 1991."},{"key":"8_CR14","unstructured":"J.Cl. Fernandez and L. Mounier. A tool set for deciding behavioural equivalences. In J.F. Groote J.C.M. Baeten, editor, CONCUR'91, Concurrency theory, LNCS 527, Springer Verlag, august 26\u201329 1991."},{"key":"8_CR15","volume-title":"Tav, tools for automatic verification","author":"J. C. Godskesen","year":"1989","unstructured":"J.C. Godskesen, K. Larsen, and M. Zeeberg. Tav, tools for automatic verification. In Proceedings of the 1st International Workshop on Automatic Verification Methods for Finite State Systems (Grenoble, France), Springer Verlag, jun 1989."},{"key":"8_CR16","volume-title":"Compilation and verification of lotos specifications","author":"H. Garavel","year":"1990","unstructured":"Hubert Garavel and Joseph Sifakis. Compilation and verification of lotos specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa), IFIP, North Holland, Amsterdam, June 1990."},{"key":"8_CR17","volume-title":"CS-R 8911","author":"R. J. Glabbeek Van","year":"1989","unstructured":"R.J. Van Glabbeek and W.P. Weijland. Branching time and abstraction in bisimulation semantics (extended abstract). CS-R 8911, Centrum voor Wiskunde en Informatica, Amsterdam, 1989."},{"key":"8_CR18","volume-title":"Draft International Standard 8807","author":"ISO","year":"1987","unstructured":"ISO. LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Draft International Standard 8807, International Organization for Standardization-Information Processing Systems \u2014 Open Systems Interconnection, Gen\u00e8ve, July 1987."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"P. Kanellakis and S. Smolka. Ccs expressions, finite state processes and three problems of equivalence. Information and Computation, 86(1), May 1990.","DOI":"10.1016\/0890-5401(90)90025-D"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"D. Lee and M. Yanakakis. Online minimization of transition systems. In ACM STOC 92, Vancouver, B.C., 1992.","DOI":"10.1145\/129712.129738"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"R. Milner. A calculus of communication systems. In LNCS 92, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"8_CR22","unstructured":"L. Mounier. M\u00e9thodes de V\u00e9rification de Sp\u00e9cifications Comportementales: \u00e9tude et mise en oeuvre. PhD thesis, Universit\u00e9 de Grenoble, 1992."},{"key":"8_CR23","first-page":"16","volume":"No. 6","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. Tarjan. Three partition refinement algorithms. SIAM J. Comput., No. 6, 16, 1987.","journal-title":"SIAM J. Comput."},{"key":"8_CR24","volume-title":"Technical Report","author":"S. K. Shrivastava","year":"1990","unstructured":"S. K. Shrivastava and P. D. Ezhilchelvan. rel\/REL: A Family of Reliable Multicast Protocol for High-Speed Networks. Technical Report, University of Newcastle, Dept. of Computer Science, U.K, 1990."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T14:27:03Z","timestamp":1687271223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}