Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. - Astrid Belder; Bas Luttik; Jos C. M. Baeten (CALCO, 2019)