Timeline



Oct 30, 2013:

10:29 AM Changeset [3394] by piccolo
Added abstract language and procedure to add call post labelled

Oct 11, 2013:

4:39 PM Changeset [3393] by boender
- TACAS stuff
12:25 PM Changeset [3392] by boender
- renamed paper yet again

Oct 10, 2013:

5:28 PM Changeset [3391] by piccolo
Definition of well formed trace is in the operational semantics
2:53 PM Changeset [3390] by piccolo
Patched simulation proof, changed definition of silent trace
1:07 PM Changeset [3389] by piccolo
Ended simulation proof
Note: See TracTimeline for information about the timeline view.