magistraleinformaticanetworking:spm:sdpm09support
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente | ||
| magistraleinformaticanetworking:spm:sdpm09support [28/04/2010 alle 16:34 (16 anni fa)] – Marco Danelutto | magistraleinformaticanetworking:spm:sdpm09support [23/09/2010 alle 15:36 (15 anni fa)] (versione attuale) – Marco Danelutto | ||
|---|---|---|---|
| Linea 96: | Linea 96: | ||
| * OcamlP3L | * OcamlP3L | ||
| * This is an implementation of P3L written in Ocaml, the french dialect of ML ([[http:// | * This is an implementation of P3L written in Ocaml, the french dialect of ML ([[http:// | ||
| - | * Skipper | + | * Skipper |
| * Several version of Skipper was developed by J. Serot at LASMEA, here is the [[http:// | * Several version of Skipper was developed by J. Serot at LASMEA, here is the [[http:// | ||
| + | === Notes === | ||
| + | * [[http:// | ||
magistraleinformaticanetworking/spm/sdpm09support.1272472449.txt.gz · Ultima modifica: 28/04/2010 alle 16:34 (16 anni fa) da Marco Danelutto