{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:33Z","timestamp":1761597213130},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202233"},{"type":"electronic","value":"9783540452126"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_9","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T16:42:51Z","timestamp":1277829771000},"page":"117-133","source":"Crossref","is-referenced-by-count":119,"title":["Resource Interfaces"],"prefix":"10.1007","author":[{"given":"Arindam","family":"Chakrabarti","sequence":"first","affiliation":[]},{"given":"Luca","family":"de Alfaro","sequence":"additional","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"314","volume-title":"Proc. Design Automation and Test in Europe","author":"J.L. Silva da Jr.","year":"2001","unstructured":"da Silva Jr., J.L., Shamberger, J., Ammer, M.J., Guo, C., Li, S., Shah, R., Tuan, T., Sheets, M., Rabaey, J.M., Nikolic, B., Sangiovanni-Vincentelli, A., Wright, P.: Design methodology for pico-radio networks. In: Proc. Design Automation and Test in Europe, pp. 314\u2013323. IEEE, Los Alamitos (2001)"},{"key":"9_CR2","first-page":"109","volume-title":"Proc. Foundations of Software Engineering","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. Foundations of Software Engineering, pp. 109\u2013120. ACM, New York (2001)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF01768705","volume":"8","author":"A. Ehrenfeucht","year":"1979","unstructured":"Ehrenfeucht, A., Mychielski, J.: Positional strategies for mean-payoff games. Int. J. Game Theory\u00a08, 109\u2013113 (1979)","journal-title":"Int. J. Game Theory"},{"key":"9_CR5","first-page":"368","volume-title":"Proc. Foundations of Computer Science","author":"E.A. Emerson","year":"1991","unstructured":"Emerson, E.A., Jutla, C.S.: Tree automata, \u03bc-calculus, and determinacy. In: Proc. Foundations of Computer Science, pp. 368\u2013377. IEEE, Los Alamitos (1991)"},{"key":"9_CR6","volume-title":"Competitive Markov Decision Processes","author":"J. Filar","year":"1997","unstructured":"Filar, J., Vrieze, K.: Competitive Markov Decision Processes. Springer, Heidelberg (1997)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-45022-X_35","volume-title":"Automata, Languages and Programming","author":"M. Hennessy","year":"2000","unstructured":"Hennessy, M., Riely, J.: Information flow vs. resource access in the asynchronous \u03c0-calculus. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 415\u2013427. Springer, Heidelberg (2000)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1049\/cce:20020404","volume":"13","author":"I. Lee","year":"2002","unstructured":"Lee, I., Philippou, A., Sokolsky, O.: Process-algebraic modeling and analysis of power-aware real-time systems. Computing and Control Engineering J.\u00a013, 180\u2013188 (2002)","journal-title":"Computing and Control Engineering J."},{"key":"9_CR9","first-page":"169","volume-title":"Proc. Formal Techniques for Networked and Distributed Systems","author":"M. N\u00fa\u00f1ez","year":"2001","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edgez, I.: Pamr: a process algebra for the management of resources in concurrent systems. In: Proc. Formal Techniques for Networked and Distributed Systems, pp. 169\u2013184. Kluwer, Dordrecht (2001)"},{"key":"9_CR10","first-page":"812","volume-title":"Proc. Wireless Communications and Networking Conference","author":"R. Shah","year":"2002","unstructured":"Shah, R., Rabaey, J.M.: Energy-aware routing for low-energy ad-hoc sensor networks. In: Proc. Wireless Communications and Networking Conference, pp. 812\u2013817. IEEE, Los Alamitos (2002)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/363911.363923","volume":"22","author":"D. Walker","year":"2000","unstructured":"Walker, D., Crary, K., Morrisett, G.: Typed memory management via static capabilities. ACM Trans. Programming Languages and Systems\u00a022, 701\u2013771 (2000)","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"9_CR12","unstructured":"Chic: Checker for Interface Compatibility, \n                    \n                      http:\/\/www.eecs.berkeley.edu\/~tah\/Chic"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:36:39Z","timestamp":1552613799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}