by Mavridou, Anastasia, Baranov, Eduard, Bliudze, Simon, Sifakis, Joseph
Published in Journal of logical and algebraic methods in programming (01.01.2017)

by Thiemann, René
Published in Journal of logical and algebraic methods in programming (01.11.2021)

Published in Journal of logical and algebraic methods in programming (01.06.2024)

by Balzer, Stephanie, Padovani, Luca
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Zhang, Shujun, Nishida, Naoki
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Nishizawa, Koki, Katsumata, Shin-ya, Komorida, Yuichi
Published in Journal of logical and algebraic methods in programming (01.06.2022)

by Kaarsgaard, Robin, Axelsen, Holger Bock, Glück, Robert
Published in Journal of logical and algebraic methods in programming (01.02.2017)

by Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna, Kjartansson, Sævar Örn
Published in Journal of logical and algebraic methods in programming (01.02.2020)

by Kurz, Alexander, Velebil, Jiří
Published in Journal of logical and algebraic methods in programming (01.06.2016)

by Kappé, Tobias, Brunet, Paul, Luttik, Bas, Silva, Alexandra, Zanasi, Fabio
Published in Journal of logical and algebraic methods in programming (01.02.2019)

Published in Journal of logical and algebraic methods in programming (01.04.2024)

by Luo, Minxia, Wang, Yajing, Zhao, Ruirui
Published in Journal of logical and algebraic methods in programming (01.06.2020)

by Durán, Francisco, Meseguer, José, Rocha, Camilo
Published in Journal of logical and algebraic methods in programming (01.02.2020)

by McLean, Brett
Published in Journal of logical and algebraic methods in programming (01.12.2020)

by Krasanakis, Emmanouil, Symeonidis, Andreas
Published in Journal of logical and algebraic methods in programming (01.11.2021)

by Drămnesc, Isabela, Jebelean, Tudor
Published in Journal of logical and algebraic methods in programming (01.02.2021)

by Grochau Azzi, Guilherme, Corradini, Andrea, Ribeiro, Leila
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Baltag, Alexandru, Gierasimczuk, Nina, Özgün, Aybüke, Vargas Sandoval, Ana Lucia, Smets, Sonja
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Alpuente, M., Ballis, D., Escobar, S., Sapiña, J.
Published in Journal of logical and algebraic methods in programming (01.01.2022)

by Bickford, Mark, Kozen, Dexter, Silva, Alexandra
Published in Journal of logical and algebraic methods in programming (01.01.2022)