π-演算

✍ dations ◷ 2025-09-10 19:01:11 #理论计算机科学,进程演算

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

相关

  • 羚羊河南方古猿羚羊河南方古猿(Australopithecus bahrelghazali),又名南方古猿羚羊河种、加扎勒河南方古猿或南方古猿加扎勒河种是人科的化石,最初于1993年由古生物学家米歇·布吕内(Michel Bru
  • 迈克尔·邦德托马斯·迈克尔·邦德,CBE(英语:Thomas Michael Bond,1926年1月13日-2017年6月27日),是一名英国作家,以其笔下的“帕丁顿熊”系列而闻名。他于2015年女王寿辰获颁大英帝国司令勋章。
  • 乙酰氧基乙酰氧基(英语:Acetoxy group)是一个具有-O-C(=O)-CH3结构的官能团,被用于保护醇羟基。上保护基的方法:脱保护基的方法: 碱性(pH>9)或酸性(pH<2)环境水解,或与甲醇钠之类的碱在甲醇中反
  • Institut National de la Recherche Agronomique国家农业研究院(Institut National de la Recherche Agronomique,INRA, .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Luci
  • 那空是贪玛叻府那空是贪玛叻府(泰语:จังหวัดนครศรีธรรมราช,皇家转写:Changwat Nakhon Si Thammarat,泰语发音:)是泰国南部人口最多的府。东面临着泰国湾,邻近府份从南到北按顺
  • 营埔文化营埔文化是台湾中部地区新石器时代重要的史前文化类型,以灰黑色陶器为特征,其分布范围大致分布在台湾中部浊水溪、大肚溪、大甲溪中下游地区的河边阶地和丘陵上。遗址的分布范
  • 美利坚合众国宪法第八条修正案宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
  • 常驻联合国大使美利坚合众国驻联合国大使(英语:United States Ambassador to the United Nations)是美国常驻联合国代表团的领导人。该职位较为正式的名称是美利坚合众国常驻联合国代表(the Pe
  • 马克西米利安·海德尔马克西米利安·海德尔(德语:Maximilian Haider,1950年1月23日-),德国物理学家。1987年获达姆施塔特工业大学物理学博士学位。1989年成为欧洲分子生物学实验室物理仪器项目小组负责
  • 锺刚中锺刚中(1885年-1968年),字子年,号桴堂,晚号桴公,又号柔翁、榕湖客,广西南宁人,清代末科进士,中国近代篆刻名家。光绪三十年(1904年)赴北京参加甲辰科会试,殿试位居二甲第89名,赐进士出身。