A type system with modalities for safe distributed computing II: Procedural Semantics
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 12 April 2011 |
| Place | New York, USA |
| Occasion | Computational Logic Seminar |
| Category | Invited |
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 12 April 2011 |
| Place | New York, USA |
| Occasion | Computational Logic Seminar |
| Category | Invited |