2IMF10 (2018-GS4) Process algebra