Pierpaolo Degano;Roberto Gorrieri;Alberto Marchetti-Spaccamela
-;-;-
Bisimulations in the join-calculus
Theoretical Computer Science
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages