Transition systems, link graphs and Petri nets (2004)

by James J. Leifer , Robin Milner
Citations:29 - 5 self