Prototyping parallel and distributed programs in Proteus | IEEE Conference Publication | IEEE Xplore