Joachim Parrow

• Automata, Languages and Programming
• Verifying a CSMA/CD protocol with CCS