{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T16:11:03Z","timestamp":1650471063834},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,10,24]],"date-time":"2014-10-24T00:00:00Z","timestamp":1414108800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s11704-014-4016-7","type":"journal-article","created":{"date-parts":[[2014,10,24]],"date-time":"2014-10-24T06:15:27Z","timestamp":1414131327000},"page":"1-14","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Generalized interface automata with multicast synchronization"],"prefix":"10.1007","volume":"9","author":[{"given":"Fei","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,24]]},"reference":[{"key":"4016_CR1","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/503209.503226","volume-title":"Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"L D Alfaro","year":"2001","unstructured":"Alfaro L D, Henzinger T A. Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2001, 109\u2013120"},{"key":"4016_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume":"195","author":"L D Alfaro","year":"2005","unstructured":"Alfaro L D, Henzinger T A. Interface-based design. Engineering Theories of Software-intensive Systems, 2005, 195: 83\u2013104","journal-title":"Engineering Theories of Software-intensive Systems"},{"key":"4016_CR3","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/41840.41852","volume-title":"Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing","author":"N A Lynch","year":"1987","unstructured":"Lynch N A, Tuttle M R. Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing. 1987, 137\u2013151"},{"issue":"3","key":"4016_CR4","first-page":"219","volume":"2","author":"N A Lynch","year":"1989","unstructured":"Lynch N A, Tuttle M R. An introduction to input\/output automata. CWI-Quarterly, 1989, 2(3): 219\u2013246","journal-title":"CWI-Quarterly"},{"key":"4016_CR5","volume-title":"Distributed Algorithms","author":"N A Lynch","year":"1996","unstructured":"Lynch N A. Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996."},{"key":"4016_CR6","first-page":"166","volume-title":"Proceedings of the 24th IEEE Real-Time Systems Symposium","author":"D K Kaynar","year":"2003","unstructured":"Kaynar D K, Lynch N A, Segala R, Vaandrager F. Timed I\/O automata: a mathematical framework for modeling and analyzing realtime systems. In: Proceedings of the 24th IEEE Real-Time Systems Symposium. 2003, 166\u2013177"},{"issue":"1","key":"4016_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2200\/S00006ED1V01Y200508CSL001","volume":"1","author":"D K Kaynar","year":"2006","unstructured":"Kaynar D K, Lynch N A, Segala R, Vaandrager F. The theory of timed I\/O automata. Synthesis Lectures on Computer Science, 2006, 1(1): 1\u2013114","journal-title":"Synthesis Lectures on Computer Science"},{"issue":"1\u20132","key":"4016_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S H Wu","year":"1997","unstructured":"Wu S H, Smolka S A, Stark E W. Composition and behaviors of probabilistic I\/O automata. Theoretical Computer Science, 1997, 176(1\u20132): 1\u201338","journal-title":"Theoretical Computer Science"},{"key":"4016_CR9","first-page":"466","volume-title":"Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science","author":"E W Stark","year":"1998","unstructured":"Stark E W, Smolka S A. Compositional analysis of expected delays in networks of probabilistic I\/O automata. In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science. 1998, 466\u2013477"},{"key":"4016_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-540-45187-7_13","volume":"2761","author":"E W Stark","year":"2003","unstructured":"Stark E W, Cleaveland R, Smolka S A. A process-algebraic language for probabilistic I\/O automata. Lecture Notes in Computer Science, 2003, 2761: 193\u2013207","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"4016_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N A Lynch","year":"2003","unstructured":"Lynch N A, Segala R, Vaandrager FW. Hybrid I\/O automata. Information and Computation, 2003, 185(1): 105\u2013157","journal-title":"Information and Computation"},{"key":"4016_CR12","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume":"2211","author":"L D Alfaro","year":"2001","unstructured":"Alfaro L D, Henzinger T A. Interface theories for component based design. Lecture Notes in Computer Science, 2001, 2211: 148\u2013165","journal-title":"Lecture Notes in Computer Science"},{"key":"4016_CR13","first-page":"259","volume-title":"Proceedings of the 6th International Conference on Formal Engineering Methods","author":"Y J Wen","year":"2004","unstructured":"Wen Y J, Wang J, Qi Z C. Bridging refinement of interface automata to forward simulation of I\/O automata. In: Proceedings of the 6th International Conference on Formal Engineering Methods. 2004, 259\u2013273"},{"key":"4016_CR14","first-page":"173","volume-title":"Proceedings of 7th International Conference on Formal Engineering Methods","author":"Y J Wen","year":"2005","unstructured":"Wen Y J, Wang J, Qi Z C. 2\/3 alternating simulation between interface automata. In: Proceedings of 7th International Conference on Formal Engineering Methods. 2005, 173\u2013187."},{"key":"4016_CR15","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-45657-0_35","volume":"2404","author":"A Chakrabarti","year":"2002","unstructured":"Chakrabarti A, Alfaro L D, Henzinger T A, Jurdzinski M, Mang F Y C. Interface compatibility checking for software modules. Lecture Notes in Computer Science, 2002, 2404: 428\u2013441","journal-title":"Lecture Notes in Computer Science"},{"key":"4016_CR16","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/3-540-45657-0_34","volume":"2404","author":"A Chakrabarti","year":"2002","unstructured":"Chakrabarti A, Alfaro L D, Henzinger T A, Mang F Y C. Synchronous and bidirectional component interfaces. Lecture Notes in Computer Science, 2002, 2404: 414\u2013427","journal-title":"Lecture Notes in Computer Science"},{"key":"4016_CR17","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-45828-X_9","volume":"2491","author":"L D Alfaro","year":"2002","unstructured":"Alfaro L D, Henzinger T A, Stoelinga M. Timed interfaces. Lecture Notes in Computer Science, 2002, 2491: 108\u2013122","journal-title":"Lecture Notes in Computer Science"},{"key":"4016_CR18","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-540-45212-6_9","volume":"2855","author":"A Chakrabarti","year":"2003","unstructured":"Chakrabarti A, Alfaro L D, Henzinger T A, Stoelinga M. Resource interfaces. Lecture Notes in Computer Science, 2003, 2855: 117\u2013133","journal-title":"Lecture Notes in Computer Science"},{"key":"4016_CR19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/11559306_5","volume":"3717","author":"L D Alfaro","year":"2005","unstructured":"Alfaro L D, Silva L D D, Faella M, Legay A, Roy P, Sorea M. Sociable interfaces. Lecture Notes in Computer Science, 2005, 3717: 81\u2013105","journal-title":"Lecture Notes in Computer Science"},{"key":"4016_CR20","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BFb0055622","volume":"1466","author":"R Alur","year":"1998","unstructured":"Alur R, Henzinger T A, Kupferman O, Vardi M. Alternating refinement relations. Lecture Notes in Computer Science, 1998, 1466: 163\u2013178","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-4016-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-4016-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-4016-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T15:35:05Z","timestamp":1650468905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-4016-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,24]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["4016"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-4016-7","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,24]]}}}