{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:27:39Z","timestamp":1725413259246},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/iros.2010.5650536","type":"proceedings-article","created":{"date-parts":[[2010,12,11]],"date-time":"2010-12-11T02:37:26Z","timestamp":1292035046000},"page":"1994-1999","source":"Crossref","is-referenced-by-count":2,"title":["Deriving concurrent control software from behavioral specifications"],"prefix":"10.1109","author":[{"given":"G","family":"Ramanathan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B","family":"Morandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S","family":"West","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S","family":"Nanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"2436","article-title":"Perspectives on standardization in mobile robot programming: The carnegie mellon navigation (CARMEN) toolkit","author":"montemerlo","year":"2003","journal-title":"IROS'03"},{"key":"ref11","article-title":"ROS: an open-source robot operating system","author":"quigley","year":"2009","journal-title":"ICRA Workshop on Open Source Software"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.asd.2004.05.004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.1990.137567"},{"key":"ref14","article-title":"Practical framework for contract-based concurrent object-oriented programming","author":"nienaltowski","year":"2007","journal-title":"Ph D Dissertation ETH Zurich"},{"journal-title":"Object-Oriented Software Construction","year":"1997","author":"meyer","key":"ref15"},{"key":"ref16","first-page":"195","article-title":"On three-layer architectures","author":"gat","year":"1997","journal-title":"Artificial Intelligence and Mobile Robots"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1998.724883"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(98)00067-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/507548.507551"},{"key":"ref8","article-title":"Lightweight communications and marshalling for low-latency interprocess communication","author":"moore","year":"2003","journal-title":"Computer Science and Artificial Intelligence Laboratory MIT Tech Rep"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RAMECH.2008.4681485"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2005.1545467"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1177\/027836498900800201"},{"key":"ref9","article-title":"MOOS: Mission orientated operating suite","author":"newman","year":"2008","journal-title":"Department of Ocean Engineering MIT Tech Rep"}],"event":{"name":"2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2010)","start":{"date-parts":[[2010,10,18]]},"location":"Taipei","end":{"date-parts":[[2010,10,22]]}},"container-title":["2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5639431\/5648787\/05650536.pdf?arnumber=5650536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:47:12Z","timestamp":1490086032000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5650536\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iros.2010.5650536","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}