Title: A formalism for concurrent processes