{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:43:59Z","timestamp":1725615839505},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/coase.2016.7743450","type":"proceedings-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T16:35:22Z","timestamp":1479400522000},"page":"523-530","source":"Crossref","is-referenced-by-count":4,"title":["Modeling concurrency and reconfiguration in vehicular systems: A \u03c0-calculus approach"],"prefix":"10.1109","author":[{"given":"Joseph","family":"Campbell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cumhur Erkan","family":"Tuncali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore P.","family":"Pavlic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umit","family":"Ozguner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"160","article-title":"Modular code generation from hybrid automata based on data dependency","author":"kim","year":"2003","journal-title":"Real-Time and Embedded Technology and Applications Symposium 2003 Proceedings The 9th IEEE"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548121"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75221-9_6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.664155"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(4:17)2012"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23506-6_11"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24559-6_28"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25942-0_5"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/25.330177"},{"journal-title":"Communicating and Mobile Systems the ? Calculus Cambridge University Press","year":"1999","author":"milner","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7172017"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185656"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09428-1_17"},{"journal-title":"Principles of Cyber-Physical Systems MIT Press","year":"2015","author":"alur","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.008"},{"key":"ref2","first-page":"36","article-title":"Flow benefits of autonomous intelligent cruise control in mixed manual and automated traffic","author":"rao","year":"1993","journal-title":"Intell Veh Highway Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref1","article-title":"The aerodynamic performance of platoons: A final report","author":"zabat","year":"1995","journal-title":"California Partners for Advanced Transit and Highways (PATH) Tech Rep UCB-ITS-PRR-95-35"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.319"},{"key":"ref22","article-title":"Toward modeling concurrency and reconfiguration in vehicular systems","author":"campbell","year":"2016","journal-title":"9th Interactionand Concurrency Experience Satellite Workshop of DisCoTec 2016"},{"key":"ref21","article-title":"Formal verification of autonomous vehicle platooning","author":"kamali","year":"2016","journal-title":"arXiv preprint arXiv 1602 04875"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"journal-title":"commercial Mobile Robot Simulation Software [Online] Available","year":"0","author":"webots","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58041-3_6"}],"event":{"name":"2016 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2016,8,21]]},"location":"Fort Worth, TX, USA","end":{"date-parts":[[2016,8,25]]}},"container-title":["2016 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7738291\/7743369\/07743450.pdf?arnumber=7743450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,7]],"date-time":"2016-12-07T12:38:55Z","timestamp":1481114335000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7743450\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/coase.2016.7743450","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}