Antoni Mazurkiewicz

• CONCUR'97 - Concurrency Theory
• Proving properties of processes