%0 Journal Article
%T Counting Interlacing Sequence for C/E Systems<br>C/E网系统中交叠式序列的计数
%A WU Zhen-huan
%A GAO Ying
%A WU Zhe-hui
%A <br>吴振寰
%A 高莹
%A 吴哲辉
%J 计算机科学
%D 2010
%I 
%X That a pair of events in a system is said to be in concurrency is defined as "they can occur in any order" by R. Milner in CCS (Calculus of Communication System). This definition about concurrency is named as "interlacing concurrency". However, concurrency is defined as "disorder" by C. A. Petri in net theory. It is recognized as "true concurrency". In order to investigate the relationship and the difference between these two concepts, we used C/E system as models to discuss the appearance and essentiality of concurrency under both of these two definitions. As a result, a set of formulas to count the number of interlacing sequence (under the concept of interlacing concurrency) upon variable situations were given.
%K Concurrency
%K True concurrency
%K Interlacing concurrency
%K C/E system
%K Interlacing sequence<br>并发，真并发，交叠式并发，C/E系统，交叠式序列
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CE8261995E1B2C95CE297290E7EA331B&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=708DD6B15D2464E8&sid=E089FDF3CDAE8561&eid=6ED15D8DCB279BC4&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0