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

有判断力

书目名称NAPAW 92影响因子(影响力)




书目名称NAPAW 92影响因子(影响力)学科排名




书目名称NAPAW 92网络公开度




书目名称NAPAW 92网络公开度学科排名




书目名称NAPAW 92被引频次




书目名称NAPAW 92被引频次学科排名




书目名称NAPAW 92年度引用




书目名称NAPAW 92年度引用学科排名




书目名称NAPAW 92读者反馈




书目名称NAPAW 92读者反馈学科排名

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

增强

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

喃喃而言

欺骗手段

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