Myrthe S. C. Spronck

According to our database, Myrthe S. C. Spronck authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers.

Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck

CoRR, April, 2026

2025

Artifact for Advancing mCRL2: symbolic and quantitative model checking.

Jan Friso Groote, Jeroen Keiren, Maurice Laveaux, Bas Luttik, Thomas Neele, Myrthe S. C. Spronck, Anna Stramaglia, Matthias Volk, Tim A. C. Willemse

Dataset, October, 2025

Just Verification of Mutual Exclusion Algorithms.

Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Progress, Justness and Fairness in Modal μ-Calculus Formulae.

Myrthe S. C. Spronck, Bas Luttik, Tim A. C. Willemse

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.

Myrthe S. C. Spronck, Bas Luttik

Proceedings of the 34th International Conference on Concurrency Theory, 2023