Modelling and Verifying Mobile Systems Using pi-Graphs. - Frédéric Peschanski; Joël-Alexis Bialkiewicz (SOFSEM, 2009)

A Denotational Study of Mobility. - Joël-Alexis Bialkiewicz; Frédéric Peschanski (CPA, 2009)