首页> 外文会议>The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97) >Comparing the expressive power of the synchronous and the asynchronous π-calculus

【24h】

Comparing the expressive power of the synchronous and the asynchronous π-calculus

机译：比较同步和异步π演算的表达能力

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《The 24th ACM sigplan-sigact symposium on principles of programming languages(POPL '97)》|1997年|P.256-265|共10页
会议地点
作者
Catuscia Palamidessi; PCatuscia Palamidessi;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类信息处理（信息加工）;
关键词

相似文献

外文文献
中文文献
专利

1. FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUS [J] . HOUGUANG YUE International Journal of Foundations of Computer Science . 2013,第3期

机译：从计算到交互：关于异步PI计算的表达
2. On the validity of encodings of the synchronous in the asynchronous π-calculus [J] . van Glabbeek Rob J. Information Processing Letters . 2018,第SEPa期

机译：关于异步π演算中同步编码的有效性
3. Low-power synchronous-to-asynchronous- to-synchronous interlocked pipelined CMOS circuits operating at 3.3-4.5 GHz [J] . Schuster S.E., Cook P.W. IEEE Journal of Solid-State Circuits . 2003,第4期

机译：工作在3.3-4.5 GHz的低功耗同步到异步互锁流水线CMOS电路
4. Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus [C] . Catuscia Palamidessi . 1997

机译：比较同步和异步π演算的表达能力
5. The power automaton: Synchronous and asynchronous modeling. [D] . Frohock, Mary Kay Barket. 2001

机译：强大的自动机：同步和异步建模。
6. An innovation in Flipped Class Room: A teaching model to facilitate synchronous and asynchronous learning during a pandemic [O] . Rehana Rehman, Syeda Sadia Fatima 2021

机译：翻转课堂的创新：一种促进大流行期间同步和异步学习的教学模式
7. Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus [O] . Palamidessi, Catuscia 1998

机译：比较同步和异步的表达能力 pi演算

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号