Trustworthy Global Computing [E-Book] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /
Table of Contents: ...From Rational Number Reconstruction to Set Reconciliation and File Synchronization -- Affine Refinement Types for Authentication and Authorization -- Seamless Distributed Computing from the Geometry of Interaction -- A Beginner’s Guide to the DeadLock...

Full text 
Physics at the highest energy and luminosity: to understand the origin of mass : Course of the international school of subnuclear physics 0029: proceedings : Erice, 14.07.91-22.07.91.