Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility.

Catuscia Palamidessi

Browse the full CONCUR paper archive.