A. Dileep, Kuldeep S. Meel, and Ammar F. Sabili
(2020).
Induction Models on N.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR).
Karthik, Murthy, Sri Raj, Paul, Kuldeep S. Meel, Tiago Cogumbreiro, and John Mellor-Crummey
(2016).
Design and Verification of Distributed Phasers.
In Proceedings of International European Conference on Parallel and Distributed Computing (Euro-Par).