Myrthe S. C. Spronck

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

Collaborative distances:

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

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