Computer Science University of Manchester A Process Algebra Foundation for Reasoning about Core ELLA Howard Barringer, Graham Gough, Brian Monahan, Alan Williams Technical Report UMCS-94-12-1