{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T12:10:23Z","timestamp":1737115823406,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540711551"},{"type":"electronic","value":"9783540711568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71156-8_8","type":"book-chapter","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T21:19:27Z","timestamp":1182374367000},"page":"143-160","source":"Crossref","is-referenced-by-count":2,"title":["A Concurrency Abstraction for Reliable Sensor Network Applications"],"prefix":"10.1007","author":[{"given":"J\u00e1nos","family":"Sallai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikl\u00f3s","family":"Mar\u00f3ti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1kos","family":"L\u00e9deczi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/850657.850658","volume":"13","author":"H.C. Laurer","year":"1979","unstructured":"Laurer, H.C., Needham, R.M.: On the duality of operating system structures. SIGOPS Operating Systems Review\u00a013, 3\u201319 (1979)","journal-title":"SIGOPS Operating Systems Review"},{"key":"8_CR2","unstructured":"von Behren, R., Condit, J., Brewer, E.: Why events are a bad idea (for high-concurrency servers). In: HotOS IX (2003)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: What\u2019s ahead for embedded software? IEEE Computer, 16\u201326 (2000)","DOI":"10.1109\/2.868693"},{"key":"8_CR4","unstructured":"Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management. In: Proceedings of the USENIX Annual Technical Conference, pp. 289\u2013302 (2002)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: The problem with threads. IEEE Computer, 33\u201342 (2006)","DOI":"10.1109\/MC.2006.180"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesc language: A holistic approach to networked embedded systems. In: SIGPLAN (2003)","DOI":"10.1145\/781131.781133"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D.E., Pister, K.: System architecture directions for network sensors. In: Proc. of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX) (2000)","DOI":"10.1145\/378993.379006"},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite state machines. Journal of the ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"Journal of the ACM"},{"key":"8_CR9","unstructured":"Dunkels, A., Gr\u00f6nvall, B., Voigt, T.: Contiki - a lightweight and flexible operating system for tiny networked sensors. In: EmNetSI (2004)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Dunkels, A., Schmidt, O., Voigt, T.: Using protothreads for sensor node programming. In: The Workshop on Real-World Wireless Sensor Networks (2005)","DOI":"10.1145\/1182807.1182811"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Abrach, H., et al.: Mantis: system support for multimodal networks of in-situ sensors. In: WSNA, pp. 50\u201359 (2003)","DOI":"10.1145\/941350.941358"},{"key":"8_CR12","volume-title":"Proceedings of the 18th Annual ACM Symposium on Applied Computing (SAC\u201903)","author":"E. Cheong","year":"2003","unstructured":"Cheong, E., Liebman, J., Liu, J., Zhao, F.: Tinygals: A programming model for event-driven embedded systems. In: Proceedings of the 18th Annual ACM Symposium on Applied Computing (SAC\u201903), ACM Press, New York (2003)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Cheong, E., Liu, J.: galsc: a language for event-driven embedded systems. In: Proceedigs of Design, Automation and Test in Europe, vol. 2, pp. 1050\u20131055 (2005)","DOI":"10.1109\/DATE.2005.165"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Han, C., Kumar, R., Shea, R., Kohler, E., Srivastava, M.: A dynamic operating system for sensor nodes. In: Proceedings of the 3rd international Conference on Mobile Systems, Applications, and Services, pp. 163\u2013176 (2005)","DOI":"10.1145\/1067170.1067188"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Kasten, O., R\u00f6mer, K.: Beyond event handlers: Programming wireless sensors with attributed state machines. In: The Fourth International Conference on Information Processing in Sensor Networks (IPSN) (2005)","DOI":"10.1109\/IPSN.2005.1440892"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Reliable Systems on Unreliable Networked Platforms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71156-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T11:07:40Z","timestamp":1737112060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71156-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711551","9783540711568"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71156-8_8","relation":{},"subject":[]}}