Configurable verification of timed automata with discrete variables Tamás TóthIstván Majzik Original Article Open access 15 December 2020 Pages: 1 - 35
Session-based concurrency, declaratively Mauricio CanoHugo A. LópezCamilo Rueda Original Article Open access 18 March 2021 Pages: 1 - 87
Sound reasoning in tock-CSP James BaxterPedro RibeiroAna Cavalcanti Original Article Open access 17 April 2021 Pages: 125 - 162
Finite automata with undirected state graphs Martin KutribAndreas MalcherChristian Schneider Original Article Open access 24 May 2021 Pages: 163 - 181