IntroductiontoConcurrencyTheory-TransitionSystemsandCCS