Ismat: a virtual machine for compositional parallelism. - Darryl Cain; Paul Roe (Comput. Sci. Res. Dev., 2010)