Meta Logic Programming for Modelling Message – Passing Parallel Programs