Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT