Time: Thursday, March 6, 14.30-15.30
Place: C3-204
Lsdpi is a distributed pi-calculus with a lexical scoping discipline featuring local communications and process migration. In this talk we present a type system for ensuring security policies, namely, the creation of remote names, process migration, and remote communication.