{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T02:07:06Z","timestamp":1772762826436,"version":"3.50.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,11,7]],"date-time":"2007-11-07T00:00:00Z","timestamp":1194393600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1007\/s10626-007-0031-2","type":"journal-article","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T14:27:51Z","timestamp":1194359271000},"page":"51-89","source":"Crossref","is-referenced-by-count":11,"title":["Compositionally Progressive Solutions of Synchronous FSM Equations"],"prefix":"10.1007","volume":"18","author":[{"given":"Nina","family":"Yevtushenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziano","family":"Villa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert K.","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,11,7]]},"reference":[{"issue":"4","key":"31_CR1","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1023\/A:1008301317459","volume":"8","author":"G Barrett","year":"1998","unstructured":"Barrett G, Lafortune S (1998) Bisimulation, the supervisory control problem and strong model matching for finite state machines. Discret Event Dyn Syst: Theory Appl 8(4):377\u2013429","journal-title":"Discret Event Dyn Syst: Theory Appl"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Bochmann GV (2002) Submodule construction and supervisory control: a generalization. In: Watson BW, Wood D (eds) Proceedings of the 6th International Conference on Implementation and Application of Automata (CIAA \u201901), vol 2494 of Lecture Notes in Computer Science. Springer, pp 27\u201339","DOI":"10.1007\/3-540-36390-4_3"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Buffalov S, El-Fakih K, Yevtushenko N, Bochmann G v (2003) Progressive solutions to a parallel automata equation. In: Proceedings of the IFIP 23rd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003), vol 2767 of LNCS. Springer, pp 367\u2013382, September","DOI":"10.1007\/978-3-540-39979-7_24"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Cassandras CC, Lafortune S (1999) Introduction to discrete event systems. Kluwer","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"31_CR4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.tcs.2006.05.034","volume":"362","author":"K El-Fakih","year":"2006","unstructured":"El-Fakih K, Buffalov S, Yevtushenko N, Bochmann GV (2006) Progressive solutions to a parallel automata equation. Theor Comp Sci 362:17\u201332","journal-title":"Theor Comp Sci"},{"issue":"2","key":"31_CR5","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"Holloway LE, Grogh BH, Giua, A (1997) A survey of Petri net methods for controlled discrete event systems. Discret Event Dyn Syst: Theory Appl 7(2):151\u2013190","journal-title":"Discret Event Dyn Syst: Theory Appl"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation. Addison-Wesley","DOI":"10.1145\/568438.568455"},{"issue":"3","key":"31_CR7","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1023\/A:1008258331497","volume":"7","author":"R Kumar","year":"1997","unstructured":"Kumar R, Nelvagal S, Marcus SI (1997) A discrete event systems approach for protocol conversion. Discret Event Dyn Syst: Theory Appl 7(3):295\u2013315","journal-title":"Discret Event Dyn Syst: Theory Appl"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Mishchenko A, Brayton R, Jiang J-H, Villa T, Yevtushenko N (2005) Efficient solution of language equations using partitioned representations. In: The Proceedings of the Design, Automation and Test in Europe Conference, vol\u00a001. pp 418\u2013423, March","DOI":"10.1109\/DATE.2005.130"},{"key":"31_CR9","unstructured":"Moisan S, Ressouche A, Rigault, J-P (2003) Behavioral substitutability in component frameworks: a formal approach. In: Specification and Verification of Component-Based Systems Workshop at ESEC\/FSE 2003, September 1\u20132,2003. Technical Report #03-11, Department of Computer Science, Iowa State University, pp 22\u201328, September"},{"issue":"1","key":"31_CR10","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P Ramadge","year":"1989","unstructured":"Ramadge P, Wonham W (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"issue":"2","key":"31_CR11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/JCS-2003-11202","volume":"11","author":"P Sewell","year":"2003","unstructured":"Sewell P, Vitek J (2003) Secure composition of untrusted code: box \u03c0, wrappers, and causality types. J Comput Secur 11(2):135\u2013187,","journal-title":"J Comput Secur"},{"key":"31_CR12","unstructured":"Starke PH (1972) Abstract automata. North-Holland"},{"key":"31_CR14","unstructured":"Vetrova M (2004) Designing and testing FSM compensators. PhD thesis, Tomsk State University, Russia (in Russian)"},{"key":"31_CR15","unstructured":"Villa T, Yevtushenko N, Zharikova S (2003) Characterization of progressive solutions of a synchronous FSM equation. In: Vestnik, 278, series physics. pp 129\u2013133, September (in Russian)"},{"key":"31_CR18","unstructured":"Yevtushenko N, Villa T, Brayton R, Petrenko A, Sangiovanni-Vincentelli A (2000) Sequential synthesis by language equation solving. In: International Workshop on Logic Synthesis, June"},{"key":"31_CR16","unstructured":"Yevtushenko N, Villa T, Brayton R, Petrenko A, Sangiovanni-Vincentelli A (2002) Solution of synchronous language equations for logic synthesis. In: The Biannual 4th Russian Conference with Foreign Participation on Computer-Aided Technologies in Applied Mathematics, September, http:\/\/www.parades.rm.cnr.it\/villa\/articoli\/ps\/tomsk2002.ps"},{"key":"31_CR17","unstructured":"Yevtushenko N, Villa T, Brayton R, Petrenko A, Sangiovanni-Vincentelli A (2003) Sequential synthesis by language equation solving. Technical report, Tech. Rep. No. UCB\/ERL M03\/9, Berkeley, CA, April, http:\/\/www.parades.rm.cnr.it\/villa\/articoli\/ps\/TR-UCB_ERL-M03_9.ps"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0031-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-007-0031-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0031-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:51Z","timestamp":1559246331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-007-0031-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,7]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["31"],"URL":"https:\/\/doi.org\/10.1007\/s10626-007-0031-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,7]]}}}