Modal Logics for Typed Mobile Processe

This work studies an extension of Hennessy-Milner logic for typed pi-calculi
which can embed various compositional program logics (February 2008).

A short version (12pp): [pdf-file] (to appear in ICALP'08)

A draft full version will come here soon. (to be updated soon)