Title: A Formalism for Concurret Processes