π-演算

✍ dations ◷ 2024-10-19 02:14:30 #理论计算机科学,进程演算

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

相关

  • 博尔扎诺省博尔扎诺-南蒂罗尔自治省(意大利语:Provincia autonoma di Bolzano;德语:Autonome Provinz Bozen;拉登语:Provinzia autonòma de Balsan),又称上阿迪杰(Alto Adige)或南蒂罗尔(Südtiro
  • 食品辐照食品辐照(Food irradiation),亦称“食品照射”或“电离辐射灭菌”,指将食物暴露在游离辐射(ionizing radiation)下。此过程可以灭除食物上的微生物、细菌、病毒或微小虫类。其他的
  • 鲁文·里夫林鲁文·里夫林(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Ta
  • 血清素受体5-羟色胺受体,也被称为血清素受体或5-HT受体,是一群于中枢神经系统中央处和末梢神经系统周边出现的G蛋白偶联受体及配体门控离子通道。它们同时调节兴奋性和抑制性神经传导物
  • 罗斯科·希伦科特罗斯科·希伦科特 (1897年5月8日-1982年6月18日),美国情报界官员、美国海军退役中将,出生于密苏里州路易斯,在第二次世界大战后出任第一任及第三任中央情报局局长。1947年,美国国会
  • 印度尼西亚人口印度尼西亚是世界第四人口大国,2.536多亿人口散居在约6000个岛屿上。印尼也是一个多民族的国家,有100多个民族,其中爪哇族占总人口的40.6%,华裔占1.2%。全国约87.2%的居民信奉伊
  • 胱抑素C1G96, 1R4C, 1TIJ, 3GAX, 3NX0, 3PS8, 3QRD, 3S67, 3SVA· protease binding · endopeptidase inhibitor activity · cysteine-type endopeptidase inhibitor activity
  • 萨丁尼亚海萨丁尼亚海是地中海的一部分,位于西班牙的巴利阿里群岛和意大利的萨丁尼亚岛之间,最深点在梅诺卡岛西北面150公里,水深约3,000米。坐标:40°00′N 6°00′E / 40.000°N 6.000°
  • 酸养互营菌酸养互营菌,革兰氏阴性杆菌。它不能移动,不会产孢,只能在严格厌氧条件下生长,因而是专性厌氧菌。在与耗氢微生物互养时能降解脂肪酸和苯甲酸。其基因组于2007年发表。
  • 纳米晶硅纳米晶硅(nc-Si)同非晶硅(a-Si)一样是硅的一种同素异型体。和非晶硅的区别在于,纳米晶硅具有小的无定形态的硅晶粒。相比之下,多晶硅完全由晶界相隔的硅晶体颗粒构成。纳米晶