Zhichuan Zhang

  • Citations Per Year
Learn More
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number of processors, the number of addresses, and the number of distinguishable data values, and typically, automatic protocol verification analyzes only concrete instances of the(More)
In this study, the authors explored the therapeutic effect of glycyrrhizin (GL) on Coxsackievirus B3 (CVB3)-induced myocarditis and its possible mechanisms involved. The results of this study showed that GL exhibited a profound amelioration of CVB3-induced myocarditis, as evidenced by improved weight loss profile, less increased serological levels of(More)
  • 1