Francesca Levi Types for Evolving Communication in Safe Ambients. 102-115 2003 conf/vmcai/2003 VMCAI http://link.springer.de/link/service/series/0558/bibs/2575/25750102.htm db/conf/vmcai/vmcai2003.html#Levi03