Chronic
发表于 2025-3-23 10:46:48
Modular specifications in process algebra,viewed as homomorphic images, submodels or restrictions of each other. The aim of this paper is to show how the semantical reality, consisting of a large number of closely related process algebras, can be reflected, and even used, on the level of algebraic specifications and in process verifications
annexation
发表于 2025-3-23 14:32:22
http://reply.papertrans.cn/16/1527/152678/152678_12.png
歪曲道理
发表于 2025-3-23 18:23:54
http://reply.papertrans.cn/16/1527/152678/152678_13.png
PARA
发表于 2025-3-23 22:35:06
Other deep-water coral reefs, worldwide, activation records by simpler .. On the machine level, this tree walk is performed by a generalization of the Schorr-Waite algorithm to .-ary trees, causing only a small overhead in execution time but no additional memory requirements. The resulting code is faster and requires less storage than usual . code.
Catheter
发表于 2025-3-24 04:15:48
http://reply.papertrans.cn/16/1527/152678/152678_15.png
mendacity
发表于 2025-3-24 10:04:56
Algebraic specification a step towards future software engineering, in this project, a number of objectives are derived, both for the design of practically usable languages based on the idea of algebraic specification and their support by appropriate tools as part of a comprehensive software engineering discipline.
delegate
发表于 2025-3-24 11:50:41
http://reply.papertrans.cn/16/1527/152678/152678_17.png
绝种
发表于 2025-3-24 15:06:41
Efficient implementation of an algebraic specification language, activation records by simpler .. On the machine level, this tree walk is performed by a generalization of the Schorr-Waite algorithm to .-ary trees, causing only a small overhead in execution time but no additional memory requirements. The resulting code is faster and requires less storage than usual . code.
运动的我
发表于 2025-3-24 19:11:46
http://reply.papertrans.cn/16/1527/152678/152678_19.png
Affluence
发表于 2025-3-24 23:46:01
http://reply.papertrans.cn/16/1527/152678/152678_20.png