-
A denotational semantics of Simulink with higher-order UTP
Author: Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun
Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 130, Issue , pp. -. DOI: 10.1016/j.jlamp.2022.100809
-
Formalization of the inverse kinematics of three-fingered dexterous hand
Author: Wang, Guohui; Chen, Shanyan; Guan, Yong; Shi, Zhiping; Li, Ximeng; Zhang, Jingzhi
Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 133, Issue , pp. -. DOI: 10.1016/j.jlamp.2023.100861
-
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance
Author: Minxia Luo, Bei Liu
Journal: Journal of Logical and Algebraic Methods in Programming, 2017, Vol.86, 298-307, DOI:10.1016/j.jlamp.2016.09.006
-
Developments in concurrent Kleene algebra
Author: Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
Journal: Journal of Logical and Algebraic Methods in Programming, 2016, Vol.85, 617-636, DOI:10.1016/j.jlamp.2015.09.012
-
An optimal resource sharing protocol for generalized multiframe tasks
Author: Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi
Journal: Journal of Logical and Algebraic Methods in Programming, 2015, Vol.84, 92-105, DOI:10.1016/j.jlamp.2014.10.001
