DMCA

A Survey of Name-Passing Calculi and Crypto-Primitives (2004)

Cached

Download Links

by Michele Bugliesi, Giuseppe Castagna , Silvia Crafa , Riccardo Focardi , Vladimiro Sassone