source: Papers/structured-traces-2012

Revision Log Mode:


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