Changeset 3413


Ignore:
Timestamp:
Dec 23, 2013, 6:56:23 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed

  • LTS/paper.txt

    r3412 r3413  
    2626  ]
    2727
    28 5. sugo: ???
     285. sugo:
     29
     30   1. prova della passata che mette le post-label (work in progress, why
     31      SOS is hard)
     32
     33   2. predicato di simulazione fra tracce strutturate + prova che tale
     34      simulazione dimostra la preservazione dei costi
     35
     36   3. prova della statico-dinamica: vedi cerco, certificata dal fatto di usare
     37      solo chiamate post-label
Note: See TracChangeset for help on using the changeset viewer.