Joachim Parrow

• Synchronisation flow algebra