**(Verse 1: Professor)** Listen up, my stubborn friend, It's time to comprehend, Parallel code, it's no simple trend, Distributed systems, the future they send. (Chorus: Professor) CSP and mCRL2, oh yes, they do, Bring order to the chaos, it's true, In this complex world of threads, Structure's needed, or you’ll end up misled. (Verse 2: Student) But professor, Google doesn’t even know, This mCRL2, so why should I go, Into process algebra, what's the need? I can tinker code, isn't that the creed? (Chorus: Professor) CSP and mCRL2, oh yes, they do, Bring order to the chaos, it's true, In this complex world of threads, Structure's needed, or you’ll end up misled. (Bridge: Professor) You say you can tinker, code it right, But without a model, you're in the night, Deadlocks, races, bugs you can't foresee, Formal methods, they set you free. (Verse 3: Professor) mCRL2, a hidden gem, Not known by Google, but here’s the stem, Model your system, verify it well, Avoid the pitfalls, avoid the hell. (Chorus: Professor) CSP and mCRL2, oh yes, they do, Bring order to the chaos, it's true, In this complex world of threads, Structure's needed, or you’ll end up misled. (Verse 4: Student) Alright, Professor, show me how, My tinkered code, let's test it now, If process algebra is the way, Prove it wrong or save the day. (Bridge: Professor) Let's model your code, step by step, Analyze it with this tool adept, CSP, mCRL2 in hand, We'll see where your logic stands. (Chorus: Professor) CSP and mCRL2, oh yes, they do, Bring order to the chaos, it's true, In this complex world of threads, Structure's needed, or you’ll end up misled. (Outro: Professor) Now you see the errors clear, Formal methods bring us near, To systems that are robust and right, Welcome to the future, in this light. (Outro: Student) I understand, Professor dear, Parallel's path is no longer unclear, CSP and mCRL2, I see the worth, Thanks for guiding, showing their birth.
