source: Papers/structured-traces-2012/structured-traces.tex

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2480   8 years mulligan Some more changes.
(edit) @2479   8 years mulligan A small amount of rewriting as i didn't like the original introduction …
(edit) @2455   8 years campbell Dump rough notes on RTLabs structured traces existence proof.
(edit) @2451   8 years mulligan Structured traces paper for Brian as per e-mail conversation yesterday.
(edit) @2331   8 years mulligan Added some structure to the paper
(add) @2330   8 years mulligan Added directory for new structured traces paper.
Note: See TracRevisionLog for help on using the revision log.