"Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems"
written by Ming Zhu, Jing Li,
published by Journal of Computer and Communications, Vol.6 No.11, 2018
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] A Categorical Approach to Model Formation of Reactive Autonomic Systems Framework
International Journal of Innovative Science and Research Technology, 2019