Astrid Belder

According to our database, Astrid Belder authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity.

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

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019