在计算机科学中,π-演算(pi-演算,英语:π-calculus,pi-calculus)是一套进程演算的形式系统,最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算(英语:Calculus of communicating systems)的基础上设计而成。
首页 >
π-演算
✍ dations ◷ 2025-02-23 12:41:22 #理论计算机科学,进程演算
相关
- 多诺拉事件多诺拉事件也称多诺拉烟雾事件是1948年10月发生在在美国宾夕法尼亚州多诺拉(英语:Donora, Pennsylvania)的一起严重的大气污染事件。是一起以二氧化硫及其氧化产物等多种污染物
- span class=nowrapUClsub3/sub/span三氯化铀(UCl3)是一个铀和氯的化合物。 三氯化铀主要用于再加工用过的核燃料。四氯化铀从各种方式可以合成三氯化铀,但三氯化铀不比四氯化铀稳定的。三氯化铀可由四氯合铀(III)
- 尤因塔尤因塔国家森林(英语:Uinta National Forest)是一座美国国家森林,位于犹他州中北部。该森林原先是1897年2月2日,格罗弗·克利夫兰设立的尤因塔森林保护区(Uinta Forest Reserve)的
- 国会议员国会议员 (英文: Member of Parliament (MP) 或 Member of Congress),是指一个国家国会的议员,主要职责为代人民在国会发表意见,或质问官员、提出法案、参与表决等,依各国国会名
- 公民民主党公民民主党(捷克语:Občanská demokratická strana,缩写为ODS)是捷克的一个右翼政党。该党的政治主张结合了疑欧派与古典自由主义,但在政治实践中,该党在这两个议题上立场较为温
- 北京邮电大学世纪学院北京邮电大学世纪学院是经中华人民共和国教育部批准,由北京邮电大学与北京学涵教育科技有限公司合作举办的全日制本科普通高等学校,是教育部直属高校在京举办的第一所独立学院
- 林汉雄林汉雄(1929年-),湖北黄冈人,中华人民共和国政治人物,曾任中华人民共和国建设部部长。林育英之子、林彪之堂侄。林汉雄幼年随母涂俊民入狱,1935年获释,被送往延安。1942年,进入延安自
- 鄱阳郡鄱阳郡,中国东汉时设置的郡。建安十五年(210年),孙权分豫章郡置鄱阳郡,治所在鄱阳县(今江西省鄱阳县东北古县渡,赤乌八年移治今鄱阳县)。属扬州。辖境相当今江西省鄱阳湖以东信江、
- 湿婆军湿婆军(शिव सेना,Śīv Senā)是印度的一个极右翼民族主义政党,虽然于华人地区多译为“湿婆军”或“湿婆神军党”,然而Śīv Senā的Śīv实际上指的是马拉塔帝国的希瓦吉
- 前田利家通称:又左卫门、又左、又四郎、孙四郎、越中少将、加贺大纳言利长、利政、知好、利常、利孝、利贞幸(前田长种室)、萧 (中川光重室)摩阿(豊臣秀吉侧室→万里小路充房侧室)豪(宇喜