Linear logic on Petri nets (1994)

by Uffe H. Engberg , Glynn Winskel
Citations:14 - 1 self