Visible to the public Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach

TitleModeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach
Publication TypeConference Paper
Year of Publication2016
AuthorsJoseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Umit Ozguner, Georgios Fainekos
Conference NameIEEE International Conference on Automation Science and Engineering
Keywords1446730
Citation KeyCampbellEtAl16case