在计算机科学中,π-演算(pi-演算,英语:π-calculus,pi-calculus)是一套进程演算的形式系统,最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算(英语:Calculus of communicating systems)的基础上设计而成。
首页 >
π-演算
✍ dations ◷ 2024-12-22 23:51:55 #理论计算机科学,进程演算
相关
- 细胞信号细胞信息传递(英语:cell signaling)是一个主管细胞基本活动并协调细胞行为的复杂沟通系统。细胞对周遭微环境进行感知与正确回应的能力是其发展、修复组织、免疫以及体内正常动
- 约翰·林德利约翰·林德利(英语:John Lindley,1799年2月8日-1865年11月1日),英国植物学家。林德利在诺维奇接受教育,1820年时写出第一本专著Monographia Rosarum,不久以后赴伦敦参与植物大百科全
- 倾析法倾析这种方法可用来分隔液体和固体,固体的密度必须比液体大得多,而且不溶于液体。将载有混合物的容器微倾,使液体流出而固体不倒出。这种方法必定有少量液体残留在容器内。它的
- 施虐癖施虐癖(英语:Sadism)是一种以虐待为乐的嗜好。对他人以欺负、虐待为乐,或凌虐小动物、小虫子,以达到满足感。对别人施虐,如使用鞭打、捆绑、羞辱等方式,借此获得性兴奋或快感,可属一
- 阿拉帕霍阿拉帕霍国家森林(英语:Arapaho National Forest)是美国的一处国家森林,1908年7月1日建立,位处科罗拉多州,占地面积约723,744英亩(2,928.89平方千米),最近的城市为丹佛。
- 溴化亚铜溴化亚铜(化学式:CuBr)是铜(I)化合物之一。无色反磁性粉末,易受氧化而呈铜(II)的绿色。 难溶于水,主要用作有机合成试剂。溴化亚铜常由溴离子存在下二价铜盐被亚硫酸根离子还原得
- 国防专利审查中心中国人民解放军军徽国防专利审查中心,位于北京市海淀区新街口外大街23号,是中央军委装备发展部直属事业单位。2008年,国防专利审查中心成立。主要职责是承担国防专利的申请、受
- 红珊藤目红珊藤目(学名:Berberidopsidales)又名智利藤目,是真双子叶植物的一个目,位于核心真双子叶植物的分支之中,只有2科3属4种。红珊藤目是2001年以来才被提出的分类,用以包含当时地位未
- 钱易 (环境工程专家)钱易(1936年12月27日-),女,江苏无锡人,出生于苏州,中国环境工程专家,清华大学环境学院教授。国学大师钱穆之女。1956年毕业于上海同济大学,1959年取得清华大学研究生学位。致力于研究
- 连胜文连胜文(1970年2月3日-),出生于台北市,中国国民党籍政治人物,辅仁大学法律系学士、美国哥伦比亚大学法律硕士、法学博士,现任国民党中央委员,曾祖父为连横,祖父为前内政部长连震东,父亲