{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:07:59Z","timestamp":1725491279385},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/sensorcomm.2007.4394962","type":"proceedings-article","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T20:10:53Z","timestamp":1196712653000},"page":"451-456","source":"Crossref","is-referenced-by-count":1,"title":["A Process Calculus Approach to Sensor Network Programming"],"prefix":"10.1109","author":[{"given":"Luis","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Miguel S.","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Joao","family":"Barros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.017"},{"key":"ref11","article-title":"A Calculus of Communicating Systems","author":"milner","year":"1980","journal-title":"LNCS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1052199.1052213"},{"key":"ref14","first-page":"2","article-title":"Towards a Primitive Higher Order Calculus of Broadcasting Systems","author":"ostrovsk\u00fd","year":"0","journal-title":"PPDP'02"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53982-4_19"},{"journal-title":"The ?-calculus A theory of mobile processes","year":"2001","author":"sangiorgi","key":"ref16"},{"key":"ref17","first-page":"141","article-title":"Sensor Network Calculus - A Framework for Worst Case Analysis","author":"schmitt","year":"0","journal-title":"DCOSS'05 number 3560 in LNCS"},{"article-title":"A Calculus for Sensor Networks","year":"2006","author":"silva","key":"ref18"},{"key":"ref4","first-page":"653","article-title":"Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications","author":"fok","year":"0","journal-title":"ICDCS'05"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0604-84"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"ref8","first-page":"85","article-title":"A Tiny Virtual Machine for Sensor Networks","author":"levis","year":"0","journal-title":"ASPLOS X"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031506"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2002.1024422"},{"journal-title":"The TinyOS Documentation Project","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1165780.1165782"}],"event":{"name":"2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007)","start":{"date-parts":[[2007,10,14]]},"location":"Valencia, Spain","end":{"date-parts":[[2007,10,20]]}},"container-title":["2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4394879\/4394880\/04394962.pdf?arnumber=4394962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T15:37:19Z","timestamp":1489678639000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4394962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/sensorcomm.2007.4394962","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}