2IMF10 (2016-4) Process algebra