35 citations · 65 across the 10 of their papers we have counts for
1 paper · 1 filter
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…