Alladi Ramakrishnan Hall

Labelled free choice petri nets, finite product automata and expressions

Ramchandra Phawade

IIT Bombay