Joachim Parrow

1956

• Formal techniques in real-time and fault-tolerant systems
• Algebraic theories for name-passing calculi