Title: Operational and algebraic semantics of concurrent processes