CTO
CLiki for the TUNES project
Home
About CLiki
Text Formatting
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
.