Title: A language for describing non-sequential porcesses