Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

Relational and Algebraic Methods in Computer Science: 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings