2 papers
cs.PL2017
Presburger-Definable Parameterized Typestates
Ashish Mishra, Deepak Dsouza, Y. N. Srikant
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typesta…
cs.LO2006
On timed automata with input-determined guards
Deepak D'Souza, Nicolas Tabareau
We consider a general notion of timed automata with input-determined guards and show that they admit a robust logical framework along the lines of [D 'Souza03], in terms of a monad…