Return to Article Details A Presheaf Semantics of Value-Passing Processes Download Download PDF