在计算机科学中,π-演算(pi-演算,英语:π-calculus,pi-calculus)是一套进程演算的形式系统,最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算(英语:Calculus of communicating systems)的基础上设计而成。
首页 >
π-演算
✍ dations ◷ 2025-08-01 02:33:22 #理论计算机科学,进程演算
相关
- 轮状病毒轮状病毒(Rotavirus,简称RV)是一种双链核糖核酸病毒,属于呼肠孤病毒科。它是引起婴幼儿腹泻的最常见原因,几乎世界上小孩在大约五岁时都曾感染过轮状病毒至少一次。然而,每一次感
- 北京市疾病预防控制中心北京市疾病预防控制中心、北京市预防医学研究中心位于北京市东城区和平里中街16号,是中国北京市的一家市级卫生事业单位,成立于2000年。北京市疾病预防控制中心、北京市预防医
- 连接组学连接组学(Connectomics)绘制与研究神经连接组(connectome):这是一种刻画有机体神经系统(尤其是脑和眼)的连接方式的完整线路图。由于这些结构极其复杂,高效筛选的神经成像和组织学方
- 平凡社平凡社,一个日本的出版社。日本的全称为株式会社平凡社(へいぼんしゃ)。是一间以出版百科全书著名的日本出版社。1923年由教育家下中弥三郎(日语:下中弥三郎)创建。
- 健身房健身房,又名健身馆、健身室,是用作健身的房间,通常装设有健身器材。健身房是现代社区常见,例如屋苑、会所、学校、大企业、社区会堂等。另外也有附设于游泳池、体育馆等运动场所
- 台湾啤酒1999~至今:台湾啤酒篮球队台湾啤酒篮球队,台湾超级篮球联赛的业余篮球队,隶属于台湾烟酒公司。前身是公卖凯旋青年队,1968年创队,1969年成立“公卖金龙篮球队”,是国内篮坛有史以来
- XV宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
- 1936年夏季奥林匹克运动会第十一届夏季奥林匹克运动会(英语:the Games of the XI Olympiad,法语:les Jeux de la XIe Olympiade,德语:die Spiele der XI. Olympiade),于1936年8月1日至8月16日在德国柏林举行
- 莞岛国际海藻类博览会莞岛国际海藻类博览会(Wando Seaweeds Expo)于2014年首次举办,每三年一届。博览会在大韩民国全罗南道莞岛郡举行,是全世界第一个以海藻类为主题的博览会,包括海参展海藻类产品苔
- 弗朗西丝·伍德·夏默弗朗西丝·伍德·夏默(英语:Frances Wood Shimer,1826年-1901年),原名弗朗西丝·安·伍德(Frances Ann Wood),美国人,伊利诺州芒特卡罗尔神学院(后来的夏默学院)创办人。也是1870年至189