{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:33:42Z","timestamp":1729632822248,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/coase.2012.6386447","type":"proceedings-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:15:40Z","timestamp":1357168540000},"page":"694-699","source":"Crossref","is-referenced-by-count":2,"title":["Transition removal for compositional supervisor synthesis"],"prefix":"10.1109","author":[{"given":"Sahar","family":"Mohajerani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robi","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/WODES.2008.4605916"},{"key":"18","first-page":"165","article-title":"Fundamental results for the verification of observational equivalence: A survey","author":"bolognesi","year":"1987","journal-title":"Protocol Specification Testing and Verification VII Proc IFIP WG6 1 7th Int Conf Protocol Specification Testing and Verification"},{"key":"15","article-title":"Five abstraction rules to remove transitions while preserving compositional synthesis results","author":"mohajerani","year":"2012","journal-title":"Working Paper 01\/2012 Dept of Computer Science"},{"year":"1985","author":"hoare","journal-title":"Communicating Sequential Processes","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/TAC.2010.2046931"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/BF01933173"},{"key":"11","first-page":"120","article-title":"Fair testing revisited: A process-algebraic characterisation of conflicts","volume":"3299","author":"malik","year":"2004","journal-title":"Proc 2nd Int Symp Automated Technology for Verification and Analysis ATVA 2004"},{"key":"12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/ICECCS.2007.31","article-title":"Modular synthesis of discrete controllers","author":"malik","year":"2007","journal-title":"Proc 12th IEEE Int Conf Engineering of Complex Computer Systems ICECCS '07"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1007\/s10626-007-0018-z"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/TAC.2005.854586"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/5.21072"},{"year":"1989","author":"milner","journal-title":"Communication and Concurrency","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/CASE.2011.6042432"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/DCDS.2011.5970323"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1137\/070695526"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/LICS.1989.39190"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/WODES.2008.4605990"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/WODES.2006.1678399"}],"event":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE 2012)","start":{"date-parts":[[2012,8,20]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2012,8,24]]}},"container-title":["2012 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6375512\/6386304\/06386447.pdf?arnumber=6386447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T17:11:56Z","timestamp":1562519516000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6386447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coase.2012.6386447","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}