%0 Journal Article
%T Hierarchical Protocol Analysis by Temporal Logic
%A Feng
%A Yulin
%J 计算机科学技术学报
%D 1988
%I 
%X With an example,this paper describes a method of using temporal logic for stepwise analysis of protocolspecifications.Each level in the specified hierarchy is a kind of incarnation from higher-levels by addingsome implementation strategies,and the correctness of top-down refinements could be verified in the unifiedtemporal framework.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=C38CA6132F56DE2347D087486AD10965&yid=0702FE8EC3581E51&vid=38B194292C032A66&iid=CA4FD0336C81A37A&sid=014B591DF029732F&eid=CB423C9A71560A74&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0