{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T16:16:40Z","timestamp":1789748200879,"version":"4.0.1"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319229683","type":"print"},{"value":"9783319229690","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22969-0_2","type":"book-chapter","created":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T08:51:42Z","timestamp":1440060702000},"page":"20-34","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["An Interface Theory for the Internet of Things"],"prefix":"10.1007","author":[{"given":"Marten","family":"Lohstroh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,8,21]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"GA Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1\u201372 (1997)","journal-title":"J. Funct. Program."},{"key":"2_CR2","unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.G.: Contracts for System Design. Research report RR-8147, November 2012"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/2518037.2491245","volume":"31","author":"JC Corbett","year":"2013","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally-distributed database. ACM Trans. Comput. Syst. (TOCS) 31(3), 8:1\u20138:22 (2013)","journal-title":"ACM Trans. Comput. Syst. (TOCS)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109\u2013120. ACM Press (2001)","DOI":"10.1145\/503271.503226"},{"key":"2_CR5","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 de Alfaro","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. 2211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Dennis, J.B.: First version data flow procedure language. Report MAC TM61, MIT Laboratory for Computer Science (1974)","DOI":"10.1007\/3-540-06859-7_145"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 97\u2013107 (1992)","journal-title":"Commun. ACM"},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing control structures as patterns of passing messages. J. Artif. Intell. 8(3), 323\u2013363 (1977)","journal-title":"J. Artif. Intell."},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/354871.354874","volume":"18","author":"E Kohler","year":"2000","unstructured":"Kohler, E., Morris, R., Chen, B., Jannotti, J., Kaashoek, M.F.: The click modular router. ACM Trans. Comput. Syst. 18(3), 263\u2013297 (2000)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"99","key":"2_CR10","first-page":"1","volume":"PP","author":"E Latronico","year":"2015","unstructured":"Latronico, E., Lee, E., Lohstroh, M., Shaver, C., Wasicek, A., Weber, A.: A vision of swarmlets. IEEE Internet Comput. PP(99), 1 (2015)","journal-title":"IEEE Internet Comput."},{"issue":"5","key":"2_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"EA Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. Computer 39(5), 33\u201342 (2006)","journal-title":"Computer"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: ThreadedComposite: a mechanism for building concurrent and parallel Ptolemy II models. Technical report UCB\/EECS-2008-151, EECS Department, University of California, Berkeley, 7 December 2008","DOI":"10.21236\/ADA518665"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"EA Lee","year":"2003","unstructured":"Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. J. Circuits Syst. Comput. 12(3), 231\u2013260 (2003)","journal-title":"J. Circuits Syst. Comput."},{"issue":"3","key":"2_CR14","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/s00165-004-0043-8","volume":"16","author":"EA Lee","year":"2003","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects Comput. 16(3), 210\u2013237 (2003)","journal-title":"Formal Aspects Comput."},{"key":"2_CR15","unstructured":"Levis, P., Madden, S., Gay, D., Polastre, J., Szewczyk, R., Woo, A., Brewer, E., Culler, D.: The emergence of networking abstractions and techniques in TinyOS. In: First USENIX\/ACM Symposium on Networked Systems Design and Implementation (NSDI 2004) (2004)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 1987, pp. 137\u2013151. ACM, New York (1987)","DOI":"10.1145\/41840.41852"},{"issue":"12","key":"2_CR17","doi-asserted-by":"publisher","first-page":"3329","DOI":"10.1109\/JSEN.2012.2211098","volume":"12","author":"P Nuzzo","year":"2012","unstructured":"Nuzzo, P., Sangiovanni-Vincentelli, A., Sun, X., Puggelli, A.: Methodology for the design of analog integrated interfaces using contracts. IEEE Sens. J. 12(12), 3329\u20133345 (2012)","journal-title":"IEEE Sens. J."},{"key":"2_CR18","unstructured":"Perssson, J.: Open source release of IoT app environment Calvin, 4 June 2015. Ericsson Research Blog. http:\/\/ericsson.com\/research-blog\/cloud\/open-source-calvin\/"},{"key":"2_CR19","volume-title":"System Design, Modeling, and Simulation using Ptolemy II","year":"2014","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"issue":"6","key":"2_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/54.970421","volume":"18","author":"A Sangiovanni-Vincentelli","year":"2001","unstructured":"Sangiovanni-Vincentelli, A., Martin, G.: Platform-based design and software design methodology for embedded systems. IEEE Des. Test Comput. 18(6), 23\u201333 (2001)","journal-title":"IEEE Des. Test Comput."},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1147\/rd.111.0025","volume":"11","author":"R Tomasulo","year":"1967","unstructured":"Tomasulo, R.: An efficient algorithm for exploiting multiple arithmetic units. IBM J. Res. Dev. 11(1), 25\u201333 (1967)","journal-title":"IBM J. Res. Dev."},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/146628.140382","volume":"20","author":"T von Eicken","year":"1992","unstructured":"von Eicken, T., Culler, D.E., Goldstein, S.C., Schauser, K.E.: Active messages: a mechanism for integrated communication and computation. SIGARCH Comput. Archit. News 20(2), 256\u2013266 (1992)","journal-title":"SIGARCH Comput. Archit. News"},{"issue":"5","key":"2_CR23","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Commun. ACM 40(5), 80\u201391 (1997)","journal-title":"Commun. ACM"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 259\u2013268. IEEE (2007)","DOI":"10.1109\/RTAS.2007.5"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22969-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T16:26:01Z","timestamp":1675873561000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22969-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319229683","9783319229690"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22969-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"21 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}