26 citations · 106 across the 19 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2022★ 1 cited
Coarser Equivalences for Causal Concurrency
Azadeh Farzan, Umang Mathur
Trace theory is a principled framework for defining equivalence relations for concurrent program runs based on a commutativity relation over the set of atomic steps taken by indivi…
cs.FL2013★ 1 cited
Weak Singular Hybrid Automata
Shankara Narayanan Krishna, Umang Mathur, Ashutosh Trivedi
The framework of Hybrid automata, introduced by Alur, Courcourbetis, Henzinger, and Ho, provides a formal modeling and analysis environment to analyze the interaction between the d…