Ausgabe 1-2/2021
Inhalt (4 Artikel)
Original Article
Static versus dynamic reversibility in CCS
Ivan Lanese, Doriana Medić, Claudio Antares Mezzina
Original Article
Subsequence versus substring constraints in sequence pattern languages
Steven Engels, Tony Tan, Jan Van den Bussche
Original Article
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam Srivas, Mukund Thattai
Original Article
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth