Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Ümit Özgüner, Georgios E. Fainekos. Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. In IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016. pages 523-530, IEEE, 2016. [doi]
Abstract is missing.