Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 8
Number of items: 8
  • Le Thi, L., Mertens, A., Vu, D. T., Vu, T. D., Anh Minh, P. L., Duc, H. N., de Backer, S., Swennen, R., Vandelook, F., Panis, B., Amalfi, M., Decock, C., Gomes, S. I. F., Merckx, V. S. F. T., & Janssens, S. B. (2022). Supplementary material 1 from: Le Thi L, Mertens A, Vu DT, Vu TD, Anh Minh PL, Duc HN, de Backer S, Swennen R, Vandelook F, Panis B, Amalfi M, Decock C, Gomes SIF, Merckx VSFT, Janssens SB (2022) Diversity of Fusarium associated banana wilt in northern Viet Nam. MycoKeys 87: 53-76. https://doi.org/10.3897/mycokeys.87.72941 [Data set]. MycoKeys. https://doi.org/10.3897/mycokeys.87.72941.suppl1
  • Vu, T. D. (2008). Denotational semantics for thread algebra. The Journal of Logic and Algebraic Programming, 74(2), 94-111. https://doi.org/10.1016/j.jlap.2007.05.002
  • Vu, T. D. (2008). Goto elimination in program algebra. Science of Computer Programming, 73(2-3), 95-128. https://doi.org/10.1016/j.scico.2008.07.002
  • Open Access
    Vu, T. D., Zhang, L., & Jesshope, C. (2008). The verification of the on-chip COMA cache coherence protocol. In J. Meseguer, & G. Roşu (Eds.), Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 : proceedings (pp. 413-429). (Lecture Notes in Computer Science; Vol. 5140). Springer. https://doi.org/10.1007/978-3-540-79980-1_31
  • Vu, T. D., & Jesshope, C. R. (2007). Formalizing SANE Virtual Processor in thread algebra. In M. Butler, M. G. Hinchey, & M. M. Larrondo-Petrie (Eds.), ICFEM 2007 (pp. 345-365)
  • Open Access
    Vu, T. D. (2007). Semantics and applications of process and program algebra. [Thesis, fully internal, Universiteit van Amsterdam].
  • Vu, T. D. (2005). Metric Denotational Semantics for BPPA. (PRG0503). Informatics Institute.
  • Vu, T. D. (2005). The compression structure of a process. Information Processing Letters, 96(6), 225-229. https://doi.org/10.1016/j.ipl.2005.03.015
Page of