2IMF10 (2019-GS4) Process algebra