3 citations · 6 across the 2 of their papers we have counts for
1 paper
KP Jevitha, Bharat Jayaraman, M Sethumadhavan
Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we show how to extract…