Versione italiana

PSpin: a distributed-memory extension of spin