Rudolf Freund, Sergey Verlan. A Formal Framework for Static (Tissue) P Systems. In George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, editors, Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Volume 4860 of Lecture Notes in Computer Science, pages 271-284, Springer, 2007. [doi]
Abstract is missing.