***************************************************************************
*
* This is the vending machine example presented in Robin Milner's
* book Communication and Concurrency.
*
* Note: the CWB-NC only allows action names to begin with alphabetic
*       characters. Milner's action names of "1p" and "2p" have been
*       changed to "onep" and "twop", respectively
*
***************************************************************************

proc VM = onep.little.collect.VM + twop.big.collect.VM