5 citations · 11 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 3 cited
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…
cs.LO2017★ 2 cited
Sequential Composition in the Presence of Intermediate Termination
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…