Jönsthövel, T. B.; van Gijzen, M. B.; MacLachlan, S.; Vuik, C.; Scarpas, A. Comparison of the deflated preconditioned conjugate gradient method and algebraic multigrid for composite materials. (English) Zbl 1398.74345 Comput. Mech. 50, No. 3, 321-333 (2012). MSC: 74S05 74E30 65F10 65N55 65Y05 65F50 PDFBibTeX XMLCite \textit{T. B. Jönsthövel} et al., Comput. Mech. 50, No. 3, 321--333 (2012; Zbl 1398.74345) Full Text: DOI
Şerbănuţă, Traian; Ştefănescu, Gheorghe; Roşu, Grigore Defining and executing P systems with structured data in K. (English) Zbl 1196.68084 Corne, David Wolfe (ed.) et al., Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28–31, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-95884-0/pbk). Lecture Notes in Computer Science 5391, 374-393 (2009). MSC: 68Q10 68Q42 PDFBibTeX XMLCite \textit{T. Şerbănuţă} et al., Lect. Notes Comput. Sci. 5391, 374--393 (2009; Zbl 1196.68084) Full Text: DOI
Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit Bisimilarity is not finitely based over BPA with interrupt. (English) Zbl 1154.68084 Theor. Comput. Sci. 366, No. 1-2, 60-81 (2006). MSC: 68Q85 03C05 08A70 68Q10 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 366, No. 1--2, 60--81 (2006; Zbl 1154.68084) Full Text: DOI
Honda, Kohei; Yoshida, Nobuko Game-theoretic analysis of call-by-value computation. (English) Zbl 0930.68061 Theor. Comput. Sci. 221, No. 1-2, 393-456 (1999). MSC: 68Q10 PDFBibTeX XMLCite \textit{K. Honda} and \textit{N. Yoshida}, Theor. Comput. Sci. 221, No. 1--2, 393--456 (1999; Zbl 0930.68061) Full Text: DOI
Nielson, Flemming; Nielson, Hanne Riis From CML to its process algebra. (English) Zbl 0873.68131 Theor. Comput. Sci. 155, No. 1, 179-219 (1996). MSC: 68Q55 68N15 68Q10 68N17 PDFBibTeX XMLCite \textit{F. Nielson} and \textit{H. R. Nielson}, Theor. Comput. Sci. 155, No. 1, 179--219 (1996; Zbl 0873.68131) Full Text: DOI
Kornerup, Jacob Mapping a functional notation for parallel programs onto hypercubes. (English) Zbl 0875.68405 Inf. Process. Lett. 53, No. 3, 153-158 (1995). MSC: 68Q10 68M07 68Q60 68W15 PDFBibTeX XMLCite \textit{J. Kornerup}, Inf. Process. Lett. 53, No. 3, 153--158 (1995; Zbl 0875.68405) Full Text: DOI
Abramsky, Samson Computational interpretations of linear logic. (English) Zbl 0791.03003 Theor. Comput. Sci. 111, No. 1-2, 3-57 (1993). Reviewer: M.Eytan (Strasbourg) MSC: 03B20 68Q55 03B70 03B40 68Q10 03F05 PDFBibTeX XMLCite \textit{S. Abramsky}, Theor. Comput. Sci. 111, No. 1--2, 3--57 (1993; Zbl 0791.03003) Full Text: DOI