Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe A formal approach to the specification and transformation of constraints in MDE. (English) Zbl 1246.68098 J. Log. Algebr. Program. 81, No. 4, 422-457 (2012). MSC: 68N30 68N99 PDFBibTeX XMLCite \textit{A. Rutle} et al., J. Log. Algebr. Program. 81, No. 4, 422--457 (2012; Zbl 1246.68098) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{R. Barbuti} et al., J. Log. Algebr. Program. 79, No. 6, 304--316 (2010; Zbl 1208.68123) Full Text: DOI