The Geometry of Synchronization
Authors: Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo and Akira Yoshimizu
Paper Information
| Title: | The Geometry of Synchronization |
| Authors: | Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo and Akira Yoshimizu |
| Proceedings: | CSL-LICS 2014 Full and Final Proceedings |
| Editors: | Dale Miller and Laura Kovacs |
| Keywords: | linear logic, geometry of interaction, proof-nets, token machines, quantum computation |
| Abstract: | ABSTRACT. We incept synchronization into the most concrete model of Girard’s Geometry of Interaction, namely token ma- chines. This is realized by introducing proof-nets for SMLL, an extension of multiplicative linear logic with a specific construct modeling synchronization points, and a multi-token abstract machine model for it. Interestingly, a correctness criterion ensures the absence of deadlock, this way linking logical and operational properties in a novel way. |
| Pages: | 10 |
| Talk: | Jul 18 11:15 |
| Paper: |  |