Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)

Jos Baeten, Bas Luttik, Fei Yang

The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequen…