Roşu, Grigore; Şerbănuţă, Traian Florin An overview of the K semantic framework. (English) Zbl 1214.68188 J. Log. Algebr. Program. 79, No. 6, 397-434 (2010). MSC: 68Q42 68N15 68Q55 PDF BibTeX XML Cite \textit{G. Roşu} and \textit{T. F. Şerbănuţă}, J. Log. Algebr. Program. 79, No. 6, 397--434 (2010; Zbl 1214.68188) Full Text: DOI Link OpenURL
Nguyen, Van; Kearney, David; Gioiosa, Gianpaolo An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P. (English) Zbl 1214.68110 J. Log. Algebr. Program. 79, No. 6, 383-396 (2010). MSC: 68M99 68Q05 68Q10 PDF BibTeX XML Cite \textit{V. Nguyen} et al., J. Log. Algebr. Program. 79, No. 6, 383--396 (2010; Zbl 1214.68110) Full Text: DOI OpenURL
Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustín A P-Lingua based simulator for tissue P systems. (English) Zbl 1209.68260 J. Log. Algebr. Program. 79, No. 6, 374-382 (2010). MSC: 68Q10 PDF BibTeX XML Cite \textit{M. A. Martínez-del-Amor} et al., J. Log. Algebr. Program. 79, No. 6, 374--382 (2010; Zbl 1209.68260) Full Text: DOI OpenURL
Manca, Vincenzo; Marchetti, Luca Metabolic approximation of real periodical functions. (English) Zbl 1208.68126 J. Log. Algebr. Program. 79, No. 6, 363-373 (2010). MSC: 68Q10 26A09 41A99 PDF BibTeX XML Cite \textit{V. Manca} and \textit{L. Marchetti}, J. Log. Algebr. Program. 79, No. 6, 363--373 (2010; Zbl 1208.68126) Full Text: DOI OpenURL
Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca Test generation from P systems using model checking. (English) Zbl 1208.68146 J. Log. Algebr. Program. 79, No. 6, 350-362 (2010). MSC: 68Q60 68Q10 68Q05 PDF BibTeX XML Cite \textit{F. Ipate} et al., J. Log. Algebr. Program. 79, No. 6, 350--362 (2010; Zbl 1208.68146) Full Text: DOI OpenURL
Dinneen, Michael J.; Kim, Yun-Bum; Nicolescu, Radu P systems and the Byzantine agreement. (English) Zbl 1208.68116 J. Log. Algebr. Program. 79, No. 6, 334-349 (2010). MSC: 68Q05 68Q10 PDF BibTeX XML Cite \textit{M. J. Dinneen} et al., J. Log. Algebr. Program. 79, No. 6, 334--349 (2010; Zbl 1208.68116) Full Text: DOI Link OpenURL
Chira, Camelia; Şerbănuţă, Traian Florin; Ştefănescu, Gheorghe P systems with control nuclei: the concept. (English) Zbl 1208.68125 J. Log. Algebr. Program. 79, No. 6, 326-333 (2010). MSC: 68Q10 92C37 PDF BibTeX XML Cite \textit{C. Chira} et al., J. Log. Algebr. Program. 79, No. 6, 326--333 (2010; Zbl 1208.68125) Full Text: DOI OpenURL
Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J. Simulating a P system based efficient solution to SAT by using GPUs. (English) Zbl 1208.68124 J. Log. Algebr. Program. 79, No. 6, 317-325 (2010). MSC: 68Q10 68Q05 PDF BibTeX XML Cite \textit{J. M. Cecilia} et al., J. Log. Algebr. Program. 79, No. 6, 317--325 (2010; Zbl 1208.68124) Full Text: DOI OpenURL
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone Compositional semantics of spiking neural P systems. (English) Zbl 1208.68123 J. Log. Algebr. Program. 79, No. 6, 304-316 (2010). MSC: 68Q10 68Q55 PDF BibTeX XML Cite \textit{R. Barbuti} et al., J. Log. Algebr. Program. 79, No. 6, 304--316 (2010; Zbl 1208.68123) Full Text: DOI OpenURL
Agrigoroaiei, Oana; Ciobanu, Gabriel Rule-based and object-based event structures for membrane systems. (English) Zbl 1208.68122 J. Log. Algebr. Program. 79, No. 6, 295-303 (2010). MSC: 68Q10 PDF BibTeX XML Cite \textit{O. Agrigoroaiei} and \textit{G. Ciobanu}, J. Log. Algebr. Program. 79, No. 6, 295--303 (2010; Zbl 1208.68122) Full Text: DOI OpenURL
Păun, Gheorghe A quick introduction to membrane computing. (English) Zbl 1208.68127 J. Log. Algebr. Program. 79, No. 6, 291-294 (2010). MSC: 68Q10 PDF BibTeX XML Cite \textit{G. Păun}, J. Log. Algebr. Program. 79, No. 6, 291--294 (2010; Zbl 1208.68127) Full Text: DOI OpenURL
Păun, Gheorghe (ed.); Pérez-Jiménez, Mario J. (ed.); Ştefănescu, Gheorghe (ed.) Special issue: Membrane computing and programming (WMC 2009). Selected papers based on the presentations at the 10th workshop, Curtea de Argeş, Romania, August 24–27, 2009. (English) Zbl 1198.68057 J. Log. Algebr. Program. 79, No. 6, 289-434 (2010). MSC: 68-06 68Q05 68Q10 00B25 PDF BibTeX XML OpenURL