2IMF10 (2025-GS4) Process Algebra