π-演算

✍ dations ◷ 2025-05-16 18:17:40 #理论计算机科学,进程演算

在计算机科学中,π-演算(pi-演算,英语:π-calculus,pi-calculus)是一套进程演算的形式系统,最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算(英语:Calculus of communicating systems)的基础上设计而成。

相关

  • 肌肉萎缩症肌肉萎缩症(肌营养不良症,英语:Muscular dystrophy, MD),指一组损坏人体肌肉的遗传性疾病。肌营养不良症表现为进行性骨骼肌萎缩,肌肉蛋白质缺失,和肌肉细胞或组织的死亡。有九种疾
  • 波尔丁县保尔丁县(Paulding County, Georgia)是美国乔治亚州西北部的一个县。面积1,077平方公里。根据美国2000年人口普查,共有人口81,678人,2005年增至112,411人。县治达拉斯(Dallas)。成
  • 加拿大最高法院Supreme Court of Canada加拿大政府与政治 系列条目加拿大君主 (女皇伊莉莎伯二世)枢密院政府现今国会 (第43届) 加拿大上议院加拿大下议院议会选区 选举制度 最新选举最高法院
  • Production I.GProduction I.G 为日本的一家动画制作公司,成立于1987年12月6日。英文字“I.G”分别取自现任社长石川光久和现任副社长兼原画师后藤隆幸的日文罗马拼音开头“I”和“G”作命
  • 西南西南英格兰(英语:South West England)是大不列颠及北爱尔兰联合王国英格兰下辖的9个次级行政区之一,也是英国国内最为风景优美且历史悠久的地区之一。西南区境内包含Dartmoor和E
  • 斯图尔特岛斯图尔特岛(英语:Stewart Island;毛利语:Rakiura)是新西兰的第三大岛,位于南岛南方大约30公里,与南岛相隔福沃海峡遥望因沃卡格尔的布拉夫港(Bluff)。这座东西宽约四十公里,人口不到五
  • 联邦行政部门美国联邦行政部门(英语:United States Federal Executive Departments)是对于美国联邦政府中由总统指挥的行政机构总称,目前共有15个联邦行政部门;其中包含历史最为悠久的主要单
  • 核糖-5-磷酸核糖-5-磷酸(英语:Ribose 5-phosphate)是磷酸戊糖途径的中间体和产物。核糖-5-磷酸是磷酸戊糖途径氧化阶段的最终产物,由核酮糖-5-磷酸异构化而来,根据机体的状态,核糖-5-磷酸也能
  • 基本教义派的耶稣基督后期圣徒教会基本教义派的耶稣基督后期圣徒教会(Fundamentalist Church of Jesus Christ of Latter Day Saints,常简称为FLDS)是摩门教基本教义派(Mormon fundamentalist)最大的一个分支教派,
  • 杰思国际娱乐杰思国际娱乐,全称杰思国际娱乐股份有限公司(英语:JSJ International Entertainment Ltd..,简称:JSJ Music)2016年成立。实际整合台湾与中国大陆等泛亚洲华语区线上及线下落地资源