2IMF10 (2023-GS4) Process algebra