source: Papers/structured-traces-2012

Revision Log Mode:


Legend:

Added
Modified
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) @2461   8 years campbell First cut of inductive structured traces diagrams.
(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.