%0 Journal Article
%T DEFINING REAL TIME SEMANTICS BY SIMULATION<br>模拟式实时语义
%A Han Yan
%A <br>韩燕
%J 软件学报
%D 1995
%I 
%X The real time behavior of a program depends on its hard real time environment,such as the used compiler, scheduler,communication medium and computer.This paper is describing the real time behavior by simulating its environment,so that it provides a general approach to define real time semantics.The employed logic in the paper is the conventional linear temporal logic with explicit time variables.
%K Real time semantics
%K timed CSP
%K temporal logic
%K simulation
%K scheduler<br>实时语义，实时通信顺序进程，时态逻辑，模拟，调度
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=2B962D2FABB038063FE32435C2F839D1&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=38B194292C032A66&sid=50BBDFAC8381694B&eid=C29816B2656377A7&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=11