在计算机科学中,π-演算(pi-演算,英语:π-calculus,pi-calculus)是一套进程演算的形式系统,最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算(英语:Calculus of communicating systems)的基础上设计而成。
首页 >
π-演算
✍ dations ◷ 2025-08-21 15:53:35 #理论计算机科学,进程演算
相关
- 热处理热处理是将金属材料加热到一定的温度,保温一定的时间后,以一定的速率降温到常温或更低,从而达到改善材料组织结构获得性能优异的材料,一般是指对金属材料特别是钢材的处理。常用
- 苯基苯基(Phenyl group)是从苯(C6H6)获得的一个疏水性芳香族官能团。它的分子式为-C6H5。它经常简写为-Ph。这种烃基可在许多有机化合物中找到,苯酚、苯胺等分子结构中都含有这种基
- 永续农业永续农业(英语:Sustainable agriculture)亦称可持续农业,是采用生态学原则的农耕方法,在学术上指探讨生物与其环境互动的一门学科。于荷兰举办的"可持续农业和农村发展会议" ,发
- 池田行彦池田行彦(日语:池田 行彦;假名:いけだ ゆきひこ;平文式罗马字:Ikeda Yukihiko)(1937年5月13日-2004年1月28日)、日本政治家、大藏省官员,位阶为正三位。勲等为旭日大绶章。原姓粟根。历
- 瓶尔小草亚纲瓶尔小草亚纲(Ophioglossidae)是链束植物四个亚纲之一。本亚纲已知有松叶蕨科和瓶尔小草科两科,分属松叶蕨目和瓶尔小草目两目。松叶蕨纲是其他蕨类植物(包括合囊蕨科与木贼科)的
- 韩国邮政韩国邮政(朝鲜语:우정사업본부/郵政事業本部)是一家韩国公立事业单位,总部位于韩国世宗特别自治市,主要业务包括邮政、邮政储蓄和保险服务。韩国邮政原由韩国知识经济部管辖。2013
- 陈佩斯陈佩斯(1954年2月1日-),号曝日堂主人,籍贯河北宁晋,出生于吉林农安,中国喜剧演员,小品和舞台剧演员,中国广播艺术团一级演员,中国电影家协会原理事。电影表演艺术家陈强之子。改革之初
- ATC代码 (P)ATC代码P(抗寄生虫药、杀虫剂及驱虫剂)是解剖学治疗学及化学分类系统的一个分类,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborating Centre for Drug Statistics M
- 亨利·劳埃德-休斯亨利·劳埃德-休斯(英语:Henry Lloyd-Hughes),英国演员,最知名于在E4的情景喜剧《中间人》中扮演校园恶霸Mark Donovan,也在《哈利·波特与火焰杯》中扮演过小角色Roger Davies。
- 龟的分类龟的分类方法有许多,以下为三种龟鳖目(Testudines)和龟鳖亚纲(Testudinata)分类。下面显示的是托马斯和谢弗(Thomson and Shaffer)在2010年给出的进化分支图:见下文的鳄龟科(Chelydri