{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:08:34Z","timestamp":1730293714660,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/rose.2005.1588337","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:51:40Z","timestamp":1139223100000},"page":"61-64","source":"Crossref","is-referenced-by-count":0,"title":["Process-algebra based regulation of sensor controlled operations"],"prefix":"10.1109","author":[{"given":"F.","family":"Gianfelici","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Embedded System Design A Unified Hardware\/Software Introduction","year":"2002","author":"vahid","key":"ref4"},{"key":"ref3","first-page":"31","article-title":"Sensor-based information appliances","volume":"3","author":"petriu","year":"2000","journal-title":"IEEE Communications Magazine"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SSP.2005.1628616"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.838003"},{"key":"ref11","article-title":"A Stochastic Process Recognizer","author":"gianfelici","year":"2004","journal-title":"Italian Patent Office - Italian Government Department of Productive Activities"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/19.746585"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2005.1415136"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref8"},{"journal-title":"Handbook of Process Algebra","year":"2001","author":"bergstra","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2002.1024422"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1117\/3.268105"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2004.834613"}],"event":{"name":"International Workshop on Robotic Sensors: Robotic and Sensor Environments, 2005.","location":"Ottawa, ON, Canada"},"container-title":["International Workshop on Robotic Sensors: Robotic and Sensor Environments, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10590\/33467\/01588337.pdf?arnumber=1588337","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T12:45:08Z","timestamp":1489581908000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1588337\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/rose.2005.1588337","relation":{},"subject":[]}}