A Turing machine simulation by P systems without charges Alberto LeporatiLuca ManzoniClaudio Zandron Regular Paper 17 February 2020 Pages: 71 - 79
Formal verification of cP systems using PAT3 and ProB Yezhou LiuRadu NicolescuJing Sun Regular Paper 26 March 2020 Pages: 80 - 94
Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework Luis Valencia-CabreraBosheng Song Regular Paper 06 April 2020 Pages: 95 - 107
Distributed computation of a k P systems with active membranes for SAT using clause completion Kelvin BuñoHenry Adorna Regular Paper 25 May 2020 Pages: 108 - 120
Membrane computing with water Thomas HinzeHendrik HappeRadu Nicolescu Regular Paper Open access 25 May 2020 Pages: 121 - 136
Bounding the space in P systems with active membranes Claudio Zandron Survey Paper 22 April 2020 Pages: 137 - 145