ChatGPT - Process calculi summary