{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T03:27:41Z","timestamp":1791257261623,"version":"4.1.0"},"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":9,"title":["Component-Based Design by Solving Language Equations"],"prefix":"10.1109","volume":"103","author":[{"given":"Tiziano","family":"Villa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Petrenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","author":"cassandras","year":"2007","journal-title":"Introduction to Discrete Event Systems"},{"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"},{"key":"ref70","author":"castagnetti","year":"2011","journal-title":"Solving Parallel Equations With Balm-ii"},{"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)"},{"key":"ref74","author":"kurshan","year":"1994","journal-title":"Computer-aided Verification of Coordinating Processes"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1999.761537"},{"key":"ref75","author":"arnold","year":"1994","journal-title":"Finite Transition Systems Semantics of Communicating Systems"},{"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"},{"key":"ref60","author":"hopcroft","year":"2001","journal-title":"Introduction to Automata Theory Languages and Computations"},{"key":"ref62","author":"tikhomirova zharikova","year":"2008","journal-title":"Optimizing Multi Component Discrete Event Systems Based on FSM\/Automata Equation Solving"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.05.034"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref63","author":"watanabe","year":"1994","journal-title":"Logic optimization of interacting components in synchronous digital systems"},{"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"},{"key":"ref65","author":"wolf","year":"1995","journal-title":"Hierarchical Models of Synchronous Circuits for Formal Verification and Substitution"},{"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"},{"key":"ref67","article-title":"Software package and documentation","year":"0","journal-title":"BALM-RU"},{"key":"ref68","article-title":"Software package and documentation","year":"0","journal-title":"BALM"},{"key":"ref2","author":"szyperski","year":"2002","journal-title":"Component Software Beyond Object-Oriented Programming"},{"key":"ref69","article-title":"Software package and documentation","year":"0","journal-title":"BALM-II"},{"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"},{"key":"ref82","author":"ehlers","year":"2013","journal-title":"Reactive Synthesis vs Supervisory Control Bridging the gap"},{"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"},{"key":"ref4","author":"heineman","year":"2001","journal-title":"Component-Based Software Engineering Putting the Pieces Together"},{"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"},{"key":"ref7","author":"edmund m clarke","year":"1999","journal-title":"Model checking"},{"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"},{"key":"ref86","author":"krishnan","year":"1998","journal-title":"$\\omega$-Automata Games and Synthesis"},{"key":"ref9","author":"kam","year":"1997","journal-title":"Synthesis of FSMs Functional Optimization"},{"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":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}