4 citations · 5 across the 5 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013★ 4 cited
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan +1
In this paper we present a unifying approach for deciding various bisimulations, simulation equivalences and preorders between two timed automata states. We propose a zone based me…
cs.LO2013★ 1 cited
Inferring Fences in a Concurrent Program Using SC proof of Correctness
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
Most proof systems for concurrent programs assume the underlying memory model to be sequentially consistent (SC), an assumption which does not hold for modern multicore processors.…