Formal Models of Social Processes Computational Justice for Fair and Sustainable Resource Allocation in Socio-Technical Systems Jeremy Pitt Department of Electrical and Electronic…