DMCA

An axiomatization of the category of Petri net computations (1998)

by Vladimiro Sassone
Venue:Math. Struct. in Comput. Sci
Citations:12 - 5 self