{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:44Z","timestamp":1760202704585,"version":"3.37.3"},"reference-count":86,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN\/194381-2012"],"award-info":[{"award-number":["RGPIN\/194381-2012"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"GOSZDANIE Russian Federation"},{"name":"EU Commission","award":["FP7-ICT-223844 CON4COORD"],"award-info":[{"award-number":["FP7-ICT-223844 CON4COORD"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/jproc.2015.2450937","type":"journal-article","created":{"date-parts":[[2015,8,14]],"date-time":"2015-08-14T18:37:37Z","timestamp":1439577457000},"page":"2152-2167","source":"Crossref","is-referenced-by-count":8,"title":["Component-Based Design by Solving Language Equations"],"prefix":"10.1109","volume":"103","author":[{"given":"Tiziano","family":"Villa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Introduction to Discrete Event Systems","year":"2007","author":"cassandras","key":"ref73"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90230-5"},{"key":"ref71","article-title":"Composition operators in language equations","author":"yevtushenko","year":"0","journal-title":"Int Workshop Logic Synthesis"},{"journal-title":"Solving Parallel Equations With Balm-ii","year":"2011","author":"castagnetti","key":"ref70"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008792918020"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/2068716.2068720"},{"key":"ref39","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/3-540-44618-4_16","article-title":"Process spaces","volume":"1877","author":"negulescu","year":"0","journal-title":"Proc of the 11th Int Conf on Concurrency Theory (CONCUR'2000)"},{"journal-title":"Computer-aided Verification of Coordinating Processes","year":"1994","author":"kurshan","key":"ref74"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1999.761537"},{"journal-title":"Finite Transition Systems Semantics of Communicating Systems","year":"1994","author":"arnold","key":"ref75"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/43.875301"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028022"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_57"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/9.566659"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2217-1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(91)90061-I"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51305-1_10"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/9.964683"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008301317459"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875036"},{"journal-title":"Introduction to Automata Theory Languages and Computations","year":"2001","author":"hopcroft","key":"ref60"},{"journal-title":"Optimizing Multi Component Discrete Event Systems Based on FSM\/Automata Equation Solving","year":"2008","author":"tikhomirova zharikova","key":"ref62"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.05.034"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Logic optimization of interacting components in synchronous digital systems","year":"1994","author":"watanabe","key":"ref63"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730577"},{"key":"ref64","first-page":"612","article-title":"Modelling hierarchical combinational circuits","author":"burch","year":"0","journal-title":"Proc Int Conf Comput -Aided Design"},{"journal-title":"Hierarchical Models of Synchronous Circuits for Formal Verification and Substitution","year":"1995","author":"wolf","key":"ref65"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref66","article-title":"Deriving Compositionally Deadlock Free Components over Synchronous Automata Compositions","author":"yevtushenko","year":"2014","journal-title":"Comput J"},{"journal-title":"BALM-RU","article-title":"Software package and documentation","year":"0","key":"ref67"},{"journal-title":"BALM","article-title":"Software package and documentation","year":"0","key":"ref68"},{"journal-title":"Component Software Beyond Object-Oriented Programming","year":"2002","author":"szyperski","key":"ref2"},{"journal-title":"BALM-II","article-title":"Software package and documentation","year":"0","key":"ref69"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11495628_14"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.4655"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/277044.277047","article-title":"Automatic synthesis of interfaces between incompatible protocols","author":"passerone","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1986.1096529"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008258331497"},{"key":"ref23","first-page":"132","article-title":"Convertibility verification and converter synthesis: Two faces of the same coin","author":"passerone","year":"0","journal-title":"Proc Int Conf Comput -Aided Design"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.357999"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2000.912975"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/43.851991"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580075"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0031-2"},{"key":"ref58","first-page":"14","article-title":"Solving language equations over synchronous and parallel composition operators","author":"yevtushenko","year":"0","journal-title":"Proc 1st Int Workshop Theory Appl Lang Equations (TALE 2007)"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.130"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253778"},{"key":"ref55","first-page":"129","article-title":"Characterization of progressive solutions of a synchronous FSM equation","author":"villa","year":"0","journal-title":"Vestnik 278 Series Physics"},{"key":"ref54","article-title":"Solution of synchronous language equations for logic synthesis","author":"yevtushenko","year":"0","journal-title":"Biannu 4th Russian Conf Foreign Participation Comput -Aided Technol Appl Math"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968605"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-004-6210-5"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68759-9","author":"villa","year":"2012","journal-title":"The unknown component problem theory and applications"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/357195.357196"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35394-4_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1977.1674912"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0127-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245634"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18625-5_46"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113738"},{"journal-title":"Reactive Synthesis vs Supervisory Control Bridging the gap","year":"2013","author":"ehlers","key":"ref82"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","article-title":"A modal interface theory for component-based design","volume":"108","author":"raclet","year":"2011","journal-title":"Fundam Inf"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref18","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI Quarterly"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_9"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/503271.503226","article-title":"Interface automata","volume":"26","author":"de alfaro","year":"2001","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref83","first-page":"222","article-title":"Bridging the gap between supervisory control and reactive synthesis: Case of full observation and centralized control","author":"ehlers","year":"0","journal-title":"Proc 12th Int Workshop Discrete Event Syst (WODES 2014)"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10407-2"},{"journal-title":"Component-Based Software Engineering Putting the Pieces Together","year":"2001","author":"heineman","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.62"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2001.995278"},{"key":"ref5","first-page":"44","article-title":"Component-based development process and component lifecycle","author":"crnkovic","year":"0","journal-title":"Proc Int'l Conf Software Eng Advances"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"journal-title":"Model checking","year":"1999","author":"edmund m clarke","key":"ref7"},{"key":"ref49","first-page":"193","article-title":"Testing strategies for communicating finite state machines","author":"petrenko","year":"0","journal-title":"Proc IFIP WG 6 1 Int Workshop Protocol Test Syst"},{"journal-title":"$\\omega$-Automata Games and Synthesis","year":"1998","author":"krishnan","key":"ref86"},{"journal-title":"Synthesis of FSMs Functional Optimization","year":"1997","author":"kam","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580076"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/43.103497"},{"key":"ref48","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1109\/43.293943","article-title":"Don't care sequences and the optimization of interacting finite state machines","volume":"13","author":"rho","year":"1994","journal-title":"IEEE Trans Comput -Aided Design"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1145\/196244.196613","article-title":"permissible observability relations in fsm networks","author":"wang","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5_3"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5_2"},{"key":"ref44","first-page":"1440","article-title":"The simplification of sequential machines with input restrictions","author":"kim","year":"1972","journal-title":"IRE Trans Electron Comput"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5_9"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/7302610\/07202840.pdf?arnumber=7202840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:58:43Z","timestamp":1642003123000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7202840\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":86,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2015.2450937","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"type":"print","value":"0018-9219"},{"type":"electronic","value":"1558-2256"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}