Titlebook: NAPAW 92; Proceedings of the F S. Purushothaman,Amy Zwarico Conference proceedings 1993 British Computer Society 1993 Bisimulation.algebra.

有判斷力

書目名稱NAPAW 92影響因子(影響力)




書目名稱NAPAW 92影響因子(影響力)學(xué)科排名




書目名稱NAPAW 92網(wǎng)絡(luò)公開度




書目名稱NAPAW 92網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱NAPAW 92被引頻次




書目名稱NAPAW 92被引頻次學(xué)科排名




書目名稱NAPAW 92年度引用




書目名稱NAPAW 92年度引用學(xué)科排名




書目名稱NAPAW 92讀者反饋




書目名稱NAPAW 92讀者反饋學(xué)科排名

inculpate

STALE

The Total Order Assumptionlong as in some cases TOA is to the point, total order and partial order semantics are both legitimate but lead to different theories. I argue that TOA is a simplifying assumption, and present an example of a total order theory without interleaving, and a partial order theory with interleaving.

septicemia

Process Communication EnvironmentA real time extension of CCS which takes into account properties of an interconnection communication network is presented. With the help of this calculus several semantics for CCS are defined. Limitations of CCS are discussed.

Negligible

Basal-Ganglia

Workshops in Computinghttp://image.papertrans.cn/n/image/660022.jpg

檢查

https://doi.org/10.1007/978-1-4471-3217-2Bisimulation; algebra; calculus; computer; computer science; concurrency; development; formal methods; proce

增強(qiáng)

978-3-540-19822-2British Computer Society 1993

喃喃而言

欺騙手段

1431-1682 Overview: 978-3-540-19822-2978-1-4471-3217-2Series ISSN 1431-1682