Journal of Computer and Communications

Vol.6 No.11(2018), Paper ID 88780, 20 pages

DOI:10.4236/jcc.2018.611022

 

Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

 

Ming Zhu, Jing Li

 

College of Computer Science and Technology, Shandong University of Technology, Zibo, China
College of Computer Science and Technology, Shandong University of Technology, Zibo, China

 

Copyright © 2018 Ming Zhu, Jing Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article

Zhu, M. and Li, J. (2018) Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems. Journal of Computer and Communications, 6, 227-246. doi: 10.4236/jcc.2018.611022.
Journals Menu
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.