2IMF10 (2017-GS4) Process algebra