Lucanu, Dorel Rewriting logic-based semantics of P systems and the maximal concurrency. (English) Zbl 1207.68177 Int. J. Found. Comput. Sci. 20, No. 3, 395-410 (2009). MSC: 68Q42 68Q55 68Q85 PDFBibTeX XMLCite \textit{D. Lucanu}, Int. J. Found. Comput. Sci. 20, No. 3, 395--410 (2009; Zbl 1207.68177) Full Text: DOI
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Ringeissen, Christophe Rewriting with strategies in \(\mathsf{ELAN}\): a functional semantics. (English) Zbl 1319.68125 Int. J. Found. Comput. Sci. 12, No. 1, 69-95 (2001). MSC: 68Q42 68N18 PDFBibTeX XMLCite \textit{P. Borovanský} et al., Int. J. Found. Comput. Sci. 12, No. 1, 69--95 (2001; Zbl 1319.68125) Full Text: DOI