source: Papers/itp-2013/ccexec2.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3369   8 years sacerdot submitted
(edit) @3368   8 years sacerdot ..
(edit) @3367   8 years tranquil
(edit) @3366   8 years tranquil
(edit) @3360   8 years tranquil aggiustate le figure
(edit) @3359   8 years tranquil recuperato un po' della formalizzazione, ancora in fondo.
(edit) @3358   8 years sacerdot
(edit) @3357   8 years sacerdot
(edit) @3356   8 years sacerdot
(edit) @3355   8 years sacerdot
(edit) @3351   8 years sacerdot
(edit) @3350   8 years sacerdot
(edit) @3349   8 years tranquil statements
(edit) @3348   8 years tranquil ipotesi della forward simulation
(edit) @3347   8 years tranquil andato avanti…
(edit) @3346   8 years sacerdot
(edit) @3345   8 years sacerdot
(edit) @3344   8 years sacerdot
(add) @3343   8 years tranquil file parallelo
Note: See TracRevisionLog for help on using the revision log.