Blue Calculus

The Blue Calculus is a Pi Calculus variant by Gérard Boudol. Its primary motivating difference is to handle asynchronous operations more cleanly.

It is, of course, an abstract VM.