Praveen, M.
(The Institute of Mathematical Sciences, 2011)
Formal methods for the analysis of concurrent systems is an active area of research. Many mathematical models like Petri nets, communicating automata, automata with auxiliary storage like counters and stacks, rewrite systems ...