Axiomatizing Luttgen & Vogler's ready simulation for finite processes in CLLR

作者：Zhang Yan; Zhu Zhaohui^*; Zhang Jinjin; Zhou Yong

来源：Journal of Applied Logic, 2015, 13(4): 654-675.

DOI：10.1016/j.jal.2015.06.005

• Process calculus
• Weak ready simulation
• Logic labelled transition system
• Axiomatization
• CLLR

In the framework of logic labelled transition systems, a variant of weak ready simulation has been presented by Liittgen and Vogler. It has been shown that such behavioural preorder is the largest precongruence w.r.t. parallel and conjunction composition satisfying some desirable properties. This paper offers a ground-complete axiomatization for this precongruence over processes containing no recursion in the calculus CLLR. Compared with the usual inference systems for process calculi, in addition to axioms about process operators, such system contains a number of axioms to characterize the interaction between process operators and logical operators.

• 出版日期2015-12
• 单位南京航空航天大学; 南京审计大学