Antonio Ravara

Department of Mathematics, Instituto Superior Técnico, Lisbon, Portuagal

Time: Thursday, March 6, 14.30-15.30
Place: C3-204

Typing migration-control in lsd-pi

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.