Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan. Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. In Jérôme Olivier Durand-Lose, Maurice Margenstern, editors, Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings. Volume 4664 of Lecture Notes in Computer Science, pages 110-121, Springer, 2007. [doi]
Abstract is missing.