Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach
| Title | Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Umit Ozguner, Georgios Fainekos |
| Conference Name | IEEE International Conference on Automation Science and Engineering |
| Keywords | 1446730 |
| Citation Key | CampbellEtAl16case |