A Distributed Abstract Machine for Boxed Ambient Calculi.

Andrew Phillips, Nobuko Yoshida, Susan Eisenbach

Browse the full ESOP paper archive.