A Monoidal Closed Category of Event Structures.

Guo-Qiang Zhang

Browse the full MFPS paper archive.