Home

Massimo__Merro


Bisimulation Congruences in Safe Ambients

Bisimulation proof methods for mobile ambients

Locality and polyadicity in asynchronous name-passing calculi

On asynchrony in name-passing calculi