Timed Traces and Strand Spaces.

Robin Sharp, Michael R. Hansen

Browse the full CSR paper archive.