2IMF10 (2020-GS4) Process algebra