Raymond R. Devillers Hanna Klaudel Maciej Koutny Context-based Process Algebras for Mobility. 79-88 2004 conf/acsd/2004 ACSD http://csdl.computer.org/comp/proceedings/acsd/2004/2077/00/20770079abs.htm db/conf/acsd/acsd2004.html#DevillersKK04