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

ISSN Print: 2327-5219
ISSN Online: 2327-5227
www.scirp.net/journal/jcc
E-mail: [email protected]

Citations

"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):

[1]	Category theory-based collaborative design methodology for mechatronic systems
	Advanced Engineering …, 2023

[2]	Knowledge capitalization in mechatronic collaborative design
	Concurrent …, 2022

[3]	Conflict management for mechatronic systems design
	2021 IEEE …, 2021

[4]	Conception collaborative et aide à la décision pour les systèmes mécatroniques: Établissement d'un cadre formel.
	2021

[5]	Conflict Resolution in Mechatronic Collaborative Design Using Category Theory
	2021

[6]	A Categorical Approach to Model Formation of Reactive Autonomic Systems Framework
	International Journal of Innovative Science and Research Technology, 2019

[1]	Category theory-based collaborative design methodology for mechatronic systems Advanced Engineering Informatics, 2023 DOI:10.1016/j.aei.2022.101865

[2]	Knowledge capitalization in mechatronic collaborative design Concurrent Engineering, 2022 DOI:10.1177/1063293X211050438

[3]	Conflict Resolution in Mechatronic Collaborative Design Using Category Theory Applied Sciences, 2021 DOI:10.3390/app11104486

[4]	Conflict Management for Mechatronic Systems Design 2021 IEEE International Symposium on Systems Engineering (ISSE), 2021 DOI:10.1109/ISSE51541.2021.9582478

Top