Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity of concurrent processes’ communication imposes challenges such as verifying consistency between the process-oriented design and implementation of a concurrent system. To deal with such a challenge, we use Galois connections, Failures and Category Theory to construct a formal framework for designing, implementing, analyzing and verifying consistency of concurrent systems. For the purpose of illustrating the framework, a running concurrent system is designed by Communicating Sequential Processes, implemented by a process-oriented programming language Erasmus.
展开▼
机译:两岸四地累犯制度比较研究——兼论中国内地累犯制度一体化之构想 =Comparative Study on Recidivism System in Hong Kong, Macao, Taiwan and China: Concurrently Discuss the Conception of Recidivism System Integration in Mainland China
机译:ssmE alternate Turbopump Development program (HpFTp). Verification complete report: Exit strut aerodynamic design DVs 30 DR no. 3.1.2.2.4.1, Vm no. 4.1.2.4 a