{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:28Z","timestamp":1725664168816},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:36:17Z","timestamp":1330259777000},"page":"114-126","source":"Crossref","is-referenced-by-count":4,"title":["Toupie=\u03bc-calculus+constraints"],"prefix":"10.1007","author":[{"given":"Antoine","family":"Rauzy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_CR1","unstructured":"A. Arnold and M. Nivat. Comportements de processus. In Colloque AFCET \u201cLes Math\u00e9matiques de l'informatique\u201d, 1989."},{"key":"10_CR2","unstructured":"J.P. Billon. Perfect Normal Forms for Discrete Functions. Technical Report DSG\/CRG\/87014, Centre de Recherche, BULL, 1987."},{"key":"10_CR3","unstructured":"A. Bouali. \u00c9tudes et mises en \u0153 uvre d'outils de v\u00e9rification bas\u00e9e sur la bisimulation. PhD thesis, Universit\u00e9 Paris VII, 03 1993. in french."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"K. Brace, R. Rudell, and R. Bryant. Efficient Implementation of a BDD Package. In Proceedings of the 27th ACM\/IEEE Design Automation Conference. IEEE 0738, 1990.","DOI":"10.1145\/123186.123222"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"R. Bryant. Graph Based Algorithms for Boolean Fonction Manipulation. IEEE Transactions on Computers, 35:677\u2013691, 8 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"R. Bryant. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 1992.","DOI":"10.1145\/136035.136043"},{"key":"10_CR7","unstructured":"W. Buettner. Unification in Finite Algebras is Unitary (?). In 9th Conference on Automatic Demonstration, volume 310. LNCS, 1988."},{"key":"10_CR8","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond. IEEE transactions on computers, 1990."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"M-M. Corsini and A. Rauzy. Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. In Don Sannella, editor, Proceedings of the European Symposium on Programming ESOP'94, volume 788. LNCS, 1994.","DOI":"10.1007\/3-540-57880-3_12"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"O. Coudert, C. Berthet, and J-C. Madre. Verification of Synchronous Sequential Machines Based on Symbolic Execution. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, volume 407. LNCS, 1989.","DOI":"10.1007\/3-540-52148-8_30"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02242704","volume":"6","author":"R. Enders","year":"1993","unstructured":"R. Enders, T. Filkorn, and D. Taubner. Generating BDDs for Symbolic Model Checking in CCS. Journal of Distributed Computing, 6:155\u2013164, 6 1993.","journal-title":"Journal of Distributed Computing"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Delay Analysis in Synchronous Programs. In Proceedings of the 5th international conference on Computer Aided Verification CAV'93, volume 697 of LNCS. Springer Verlag, June 1993.","DOI":"10.1007\/3-540-56922-7_28"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Henessy","year":"1985","unstructured":"M. Henessy and R. Milner. Algebraic laws for non-determinism and concurrency. J. Assoc. Comput. Mach., 32:137\u2013161, 1985.","journal-title":"J. Assoc. Comput. Mach."},{"key":"10_CR14","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, 1989."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez. Constraint Logic Programming. In Proceedings of Principle of Programming Languages (POPL'87), January 1987.","DOI":"10.1145\/41625.41635"},{"key":"10_CR16","unstructured":"D. Park. Fixpoint Induction and Proofs of Program Properties. Machine Intelligence, 5, 1970."},{"key":"10_CR17","unstructured":"A. Rauzy. Toupie Version 0.25: User's Manual. Technical Report 959-94, LaBRI \u2014 URA CNRS 1304 \u2014 Universit\u00e9 Bordeaux I, 1994."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"A. Srinivasan, T. Kam, S. Malik, and R.K. Brayton. Algorithms for Discrete Function Manipulation. In Proceedings of International Conference on Computer Aided Design, ICCAD'90, pages 92\u201395. IEEE, 1990.","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"10_CR19","first-page":"19","volume-title":"The Psychology of Computer Vision","author":"D.L. Waltz","year":"1975","unstructured":"D.L. Waltz. Generating semantic descriptions for drawings of scenes with shadows. In P.H. Winston, editor, The Psychology of Computer Vision, pages 19\u201391. Mc Graw Hill, New York, 1975."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:28:51Z","timestamp":1605630531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}