Modeling Concurrency and Reconfiguration in Vehicular Systems: A $\pi$-calculus Approach

Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic +1

As autonomous or semi-autonomous vehicles are deployed on the roads, they will have to eventually start communicating with each other in order to achieve increased efficiency and s…