Transition systems, link graphs and Petri nets (2004)

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