Static versus dynamic reversibility in CCS Ivan LaneseDoriana MedićClaudio Antares Mezzina Original Article 07 November 2019 Pages: 1 - 34
Subsequence versus substring constraints in sequence pattern languages Steven EngelsTony TanJan Van den Bussche Original Article 07 November 2019 Pages: 35 - 56
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system Arnab BhattacharyyaAshutosh GuptaMukund Thattai Original Article 02 December 2019 Pages: 57 - 93
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity Joost EngelfrietKazuhiro InabaSebastian Maneth Original Article 09 December 2019 Pages: 95 - 152