Cited By
View all- Pick LDesai AGupta A(2023)Psym: Efficient Symbolic Exploration of Distributed SystemsProceedings of the ACM on Programming Languages10.1145/35912477:PLDI(660-685)Online publication date: 6-Jun-2023
- Hackett FHosseini SCosta RDo MBeschastnikh IAamodt TJerger NSwift M(2023)Compiling Distributed System Models with PGoProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 210.1145/3575693.3575695(159-175)Online publication date: 27-Jan-2023
- Zhu JMa CYang XLai JZhang Z(2021)An Asynchronous Cooperative Signal Control Framework in Urban Road Network2021 6th International Conference on Transportation Information and Safety (ICTIS)10.1109/ICTIS54573.2021.9798689(1105-1111)Online publication date: 22-Oct-2021
- Show More Cited By