12 citations · 88 across the 34 of their papers we have counts for
Showing 2017Show all
3 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…
cs.FL2017★ 6 cited
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
Tobias Kappé, Paul Brunet, Bas Luttik +2
Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurrent behaviour. As with previous extensions of Kleene Algebra, characterizing the f…