Tuan Anh Vu Cuong Pham-Quoc Building a smart traffic light system based on Internet of Things using -calculus. 2022 34 Concurr. Comput. Pract. Exp. 10 https://doi.org/10.1002/cpe.6731 https://www.wikidata.org/entity/Q114019251 db/journals/concurrency/concurrency34.html#VuP22