Nr. 44 (1996): RS-44 A Presheaf Semantics of Value-Passing Processes

Publiceret: 1996-06-14