Towards a formal framework for partial compliance of business processes

- Lam, Ho-Pun, Hashmi, Mustafa, Kumar, Akhil