Ausgabe 1/2023
Inhalt (4 Artikel)
Open Access
Original Article
Reactive bisimulation semantics for a process algebra with timeouts
Rob van Glabbeek
Original Article
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs
Shlomi Dolev, Yin Li
Open Access
Original Article
Alternating complexity of counting first-order logic for the subword order
Dietrich Kuske, Christian Schwarz