Process algebra semantics of $\varphi${SDL}