{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:37:14Z","timestamp":1780115834751,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,12]],"date-time":"2009-10-12T00:00:00Z","timestamp":1255305600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,10,12]]},"DOI":"10.1145\/1629335.1629348","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"87-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Modal interfaces"],"prefix":"10.1145","author":[{"given":"Jean-Baptiste","family":"Raclet","sequence":"first","affiliation":[{"name":"INRIA Grenoble - Rh\u00f4ne-Alpes, Grenoble, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Badouel","sequence":"additional","affiliation":[{"name":"INRIA\/IRISA Rennes, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Albert","family":"Benveniste","sequence":"additional","affiliation":[{"name":"INRIA\/IRISA Rennes, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[{"name":"INRIA\/IRISA Rennes, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"INRIA\/IRISA Rennes, Rennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[{"name":"PARADES Scarl, Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646733.759544"},{"key":"e_1_3_2_1_3_1","first-page":"11","article-title":"Metric interpretations of infinite trees and semantics of non deterministic recursive programs","author":"Arnold A.","year":"1980","unstructured":"A. Arnold and M. Nivat . Metric interpretations of infinite trees and semantics of non deterministic recursive programs . Theoretical Comput. Sci. , 11 , 1980 . A. Arnold and M. Nivat. Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Theoretical Comput. Sci., 11, 1980.","journal-title":"Theoretical Comput. Sci."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00982-2_13"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_39"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2392200.2392232"},{"key":"e_1_3_2_1_7_1","volume-title":"Linguistic instruments in requirements engineering","author":"Burg J. F. M.","year":"1997","unstructured":"J. F. M. Burg . Linguistic instruments in requirements engineering . IOS Press , 1997 . J. F. M. Burg. Linguistic instruments in requirements engineering. IOS Press, 1997."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734413"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-3-540-39910-0_12","volume-title":"Verification: Theory and Practice","author":"de Alfaro L.","year":"2003","unstructured":"L. de Alfaro . Game models for open systems . In Verification: Theory and Practice , volume 2772 of Lecture Notes in Computer Science , pages 269 -- 289 . Springer , 2003 . L. de Alfaro. Game models for open systems. In Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, pages 269--289. Springer, 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11559306_5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45187-7_9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646788.704040"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450070"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_19"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_1"},{"key":"e_1_3_2_1_21_1","volume-title":"ITU-TS","author":"ITU-TS. ITU-TS","year":"1999","unstructured":"ITU-TS. ITU-TS Recommendation Z.120 : Message Sequence Chart (MSC) . ITU-TS , Geneva , September 1999 . ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, September 1999."},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","first-page":"232","volume-title":"Automatic Verification Methods for Finite State Systems","author":"Larsen K. G.","year":"1989","unstructured":"K. G. Larsen . Modal specifications. In Automatic Verification Methods for Finite State Systems , volume 407 of Lecture Notes in Computer Science , pages 232 -- 246 . Springer , 1989 . K. G. Larsen. Modal specifications. In Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, pages 232--246. Springer, 1989."},{"key":"e_1_3_2_1_23_1","volume-title":"16th European Symposium on Programming (ESOP'07)","volume":"4421","author":"Larsen K. G.","year":"2007","unstructured":"K. G. Larsen , U. Nyman , and A. Wasowski . Modal I\/O automata for interface and product line theories. In Programming Languages and Systems , 16th European Symposium on Programming (ESOP'07) , volume 4421 of Lecture Notes in Computer Science, pages 64--79. Springer , 2007 . K. G. Larsen, U. Nyman, and A. Wasowski. Modal I\/O automata for interface and product line theories. In Programming Languages and Systems, 16th European Symposium on Programming (ESOP'07), volume 4421 of Lecture Notes in Computer Science, pages 64--79. Springer, 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2392200.2392210"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.10.022"},{"key":"e_1_3_2_1_26_1","volume-title":"An introduction to Input\/Output automata. CWI-quarterly, 2(3)","author":"Lynch N.","year":"1989","unstructured":"N. Lynch and M. R. Tuttle . An introduction to Input\/Output automata. CWI-quarterly, 2(3) , 1989 . N. Lynch and M. R. Tuttle. An introduction to Input\/Output automata. CWI-quarterly, 2(3), 1989."},{"key":"e_1_3_2_1_28_1","unstructured":"J.-B. Raclet. Quotient de specifications pour la reutilisation de composants. PhD thesis Universite de Rennes I december 2007. (In French).  J.-B. Raclet. Quotient de specifications pour la reutilisation de composants. PhD thesis Universite de Rennes I december 2007. (In French)."},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS'07)","author":"Raclet J.-B.","year":"2007","unstructured":"J.-B. Raclet . Residual for component specifications . In Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS'07) , 2007 . J.-B. Raclet. Residual for component specifications. In Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), 2007."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1673062.1673098"}],"event":{"name":"ESWeek '09: Fifth Embedded Systems Week","location":"Grenoble France","acronym":"ESWeek '09","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the seventh ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629348","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629335.1629348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:26Z","timestamp":1750250486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629348"}},"subtitle":["unifying interface automata and modal specifications"],"short-title":[],"issued":{"date-parts":[[2009,10,12]]},"references-count":27,"alternative-id":["10.1145\/1629335.1629348","10.1145\/1629335"],"URL":"https:\/\/doi.org\/10.1145\/1629335.1629348","relation":{},"subject":[],"published":{"date-parts":[[2009,10,12]]},"assertion":[{"value":"2009-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}