Jerry C. Yan

• Modelling parallel programs and multiprocessor architectures with AXE