1. Static versus dynamic reversibility in CCS

   • Ivan Lanese
   • Doriana Medić
   • Claudio Antares Mezzina

   Original Article 07 November 2019 Pages: 1 - 34

   

2. Subsequence versus substring constraints in sequence pattern languages

   • Steven Engels
   • Tony Tan
   • Jan Van den Bussche

   Original Article 07 November 2019 Pages: 35 - 56

   

3. A formal methods approach to predicting new features of the eukaryotic vesicle traffic system

   • Arnab Bhattacharyya
   • Ashutosh Gupta
   • Mukund Thattai

   Original Article 02 December 2019 Pages: 57 - 93

   

4. Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity

   • Joost Engelfriet
   • Kazuhiro Inaba
   • Sebastian Maneth

   Original Article 09 December 2019 Pages: 95 - 152