/concurrent-process-communication-promela

Two processes concurrently exchanging messages in PROMELA.

Primary LanguageCMIT LicenseMIT

concurrent-process-communication-promela

Two processes concurrently exchanging messages in PROMELA.

Use Spin to compile and verify the code.