source: LTS/Traces.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3576   4 years piccolo
(edit) @3549   5 years piccolo added paolo's trick
(edit) @3535   5 years piccolo final statement of cerco with the first pass integrated in place
(edit) @3531   5 years piccolo new notion of measurable: some lemmas are still broken
(edit) @3524   5 years piccolo rearrangments of lemmas, final statement in place
(edit) @3523   5 years piccolo closed all daemon with the final statement
(edit) @3506   5 years sacerdot Refactoring.
(edit) @3487   5 years sacerdot No more i_act. Note: we do not ask anywhere that no transitions to an …
(edit) @3478   5 years piccolo fixed costlabels
(edit) @3396   6 years piccolo correctness proof in developping
(edit) @3394   6 years piccolo Added abstract language and procedure to add call post labelled
(edit) @3391   6 years piccolo Definition of well formed trace is in the operational semantics
(edit) @3390   6 years piccolo Patched simulation proof, changed definition of silent trace
(edit) @3388   6 years piccolo partial commit
(edit) @3387   6 years piccolo unified notation
(edit) @3380   6 years piccolo Added definition of measurable trace
(edit) @3374   6 years piccolo
(add) @3372   6 years piccolo Added new implementation of labelling approach based on LTS and …
Note: See TracRevisionLog for help on using the revision log.