These notes describe some of the basics of using Glenn Bruns’ vp [1], which is a valuepassing front-end for the Concurrency Workbench [3]. The official documentation is available at http://www.bell-labs.com/user/grb/vp/vp.html, but it is fairly cryptic to the uninitiated. These notes are intended to fill in some of the gaps. 1 Running vp An overview of Glenn Bruns’ value-passing front end for t...
