Paper on sequencing accepted at CALCO 2019 Posted on May 14, 2019 by Bas Luttik The paper “Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity” by Astrid Belder, Bas Luttik and Jos Baeten has been accepted for presentation at CALCO 2019 in London, UK.