2IMF10 (2022-GS4) Process algebra