"Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond"（http://www.brics.dk/NS/05/3/BRICS-NS-05-3.pdf）という論文集に "V for Virtual" という論文があり、タイトルにひかれて眺めてみました…