2IMF10 (2024-GS4) Process Algebra