%0 Journal Article
%T Research and improvement of fairness in temporal logic of actions<br>行为时序逻辑中公平性的研究与完善
%A TANG Zheng-yi
%A LI Jun-tao
%A LI Xiang
%A <br>唐郑熠
%A 李均涛
%A 李祥
%J 计算机应用研究
%D 2010
%I 
%X 基于行为时序逻辑(TLA)的并发系统描述，就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性，无法准确地描述某些系统的行为，从而限制了TLA的描述能力。通过研究TLA中公平性的推导过程，分析公平性的概念与定义方法，并以实际例子说明它的局限性。在此基础上，提出以加入两级新的公平性方式对其进行完善。最后，证明了新公平性等级之间的蕴涵关系。完善后的公平性具有更强的描述能力，能够对系统进行更完整的描述与规约。
%K 行为时序逻辑
%K 公平性
%K 并发系统
%K 系统描述
%K 蕴涵关系
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=95031A47D5AFE27766005908CB0FF6B4&yid=140ECF96957D60B2&vid=DB817633AA4F79B9&iid=94C357A881DFC066&sid=DC8E8C328836185A&eid=D227C2A170C3A3E4&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=2&reference_num=6