Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity.

Astrid Belder, Bas Luttik, Jos C. M. Baeten

Browse the full CALCO paper archive.