Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy
| Title | A multi-modal type system and its procedural semantics for safe distributed programming |
| Publication Type | Technical Report |
| Authors | Primiero, G |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):