source: Deliverables/Dissemination/proof-structured-traces

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2945   9 years campbell Minor tweak.
(edit) @2941   9 years campbell Update proof slides.
(edit) @2589   9 years campbell Add one of the simulation diagrams
(edit) @2587   9 years campbell Tweak talk a little.
(edit) @2585   9 years campbell Many improvements to proof/structured traces talk.
(add) @2583   9 years campbell Structured traces talk with most of the content; not quite final.
Note: See TracRevisionLog for help on using the revision log.