Issue 5/2022
Content (5 Articles)
Open Access
Original Article
Interface Automata for Shared Memory
Ayleen Schinko, Walter Vogler, Johannes Gareis, N. Tri Nguyen, Gerald Lüttgen
Original Article
A jumping Watson–Crick finite automata model
Radim Kocman, Zbyněk Křivka, Alexander Meduna, Benedek Nagy
Open Access
Original Article
Index appearance record with preorders
Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Original Article
Improved complement for two-way alternating automata
Viliam Geffert, Christos A. Kapoutsis, Mohammad Zakzok
Correction
Correction to: Reactive synthesis without regret
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin