7 citations · 7 across the 1 of their papers we have counts for
1 paper
Jonathan Hayman, Glynn Winskel
A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the…