Ausgabe 1/2022
Inhalt (4 Artikel)
Open Access
Original Article
Configurable verification of timed automata with discrete variables
Tamás Tóth, István Majzik
Open Access
Original Article
Session-based concurrency, declaratively
Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
Open Access
Original Article
Sound reasoning in tock-CSP
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Open Access
Original Article
Finite automata with undirected state graphs
Martin Kutrib, Andreas Malcher, Christian Schneider