1. A Turing machine simulation by P systems without charges

   • Alberto Leporati
   • Luca Manzoni
   • Claudio Zandron

   Regular Paper 17 February 2020 Pages: 71 - 79

   

2. Formal verification of cP systems using PAT3 and ProB

   • Yezhou Liu
   • Radu Nicolescu
   • Jing Sun

   Regular Paper 26 March 2020 Pages: 80 - 94

   

3. Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework

   • Luis Valencia-Cabrera
   • Bosheng Song

   Regular Paper 06 April 2020 Pages: 95 - 107

   

4. Distributed computation of a k P systems with active membranes for SAT using clause completion

   • Kelvin Buño
   • Henry Adorna

   Regular Paper 25 May 2020 Pages: 108 - 120

5. Membrane computing with water

   • Thomas Hinze
   • Hendrik Happe
   • Radu Nicolescu

   Regular Paper Open access 25 May 2020 Pages: 121 - 136

   

6. Bounding the space in P systems with active membranes

   • Claudio Zandron

   Survey Paper 22 April 2020 Pages: 137 - 145