Process/Protocol Meta Language is a verification modelling language used to verify the logic of parallel systems.
I'm not quite sure as to what this term means. I saw it during a course where we are learning …
multithreading concurrency process promela