They’re the same. When the government brought it into effect, it was called the Workmen’s Compensation Act. Later on, it changed to Employee Compensation Act.