Nobuko Yoshida

Latest

• A Distributed Abstract Machine for Boxed Ambient Calculi