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

Revision Log Mode:


Legend:

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