DMCA

A Virtual Machine for a Process Calculus (1999)

by Luís Lopes , Fernando Silva , Vasco T. Vasconcelos