Astrid Belder

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Inference Rules

Top Venues

Publications

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