3 citations · 3 across the 1 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…