Winskel, G. A Presheaf Semantics of Value-Passing Processes. BRICS 1996, 3.