π-演算

✍ dations ◷ 2025-07-05 15:47:50 #理论计算机科学,进程演算

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

相关

  • 牛部,为汉字索引中的部首之一,康熙字典214个部首中的第九十三个(四划的则为第三十三个)。就繁体和简体中文中,牛部归于四划部首。牛部通常是从下、左方均可为部字。当下为部字时,
  • 戎克船戎克船,又称为“䑸”,中国古帆船的一种。日文汉字“戎克”为马来语“dgong”或“jong”的音译;也有说法是音译自葡萄牙文“junco”(意为冲锋)。中国史学家朱维干考查证据,是由闽南
  • 接触角接触角(英语:Contact angle)是意指在液体/气体界面接触固体表面而形成的夹角。接触角是由三个不同界面相互作用的一个系统。最常见的概念解说是,一个小液滴在一单位横向的固体表
  • 新西兰电视台新西兰电视台(英文:Television New Zealand, TVNZ)是新西兰的一个电视网络。 总部设在奥克兰。拥有2个免费频道及多个收费频道。
  • 陈 田陈田(1855年-?),字松珊,贵州省贵阳府贵筑县(今贵州省贵阳市)人,清朝政治人物、进士出身。光绪十二年,登进士;同年五月,改翰林院庶吉士。光绪十五年四月,散馆,授翰林院编修。次年,任国史馆协
  • 桥本氏甲状腺炎桥本氏甲状腺炎也称慢性淋巴细胞性甲状腺炎(chronic lymphocytic thyroiditis)、桥本氏症(Hashimoto's disease)是一种由甲状腺被一系列细胞或抗体介导免疫过程攻击所导致的自
  • 安德烈·帕夫洛维奇·基里连科安德烈·帕夫洛维奇·基里连科(俄语:Андре́й Па́влович Кириле́нко,1906年9月8日(儒略历8月26日)-1990年5月12日),冷战时期苏联政治家,1906年生于俄罗斯帝
  • 高彪 (东汉)高彪(2世纪-184年),字义方。中国东汉时文学家。吴郡无锡县(今江苏省无锡市)人。高彪家境清寒,高彪为诸生,游学太学。内怀雅才而不善于言辞。曾从马融学习请教经书大义,马融有病,没有见
  • 北乃绮北乃绮(日语:北乃 きい,1991年3月15日-)是日本女性演员、女歌手,神奈川县横须贺市出身,所属经纪公司为FOSTER plus(日语:フォスター (芸能プロダクション))。本名不公开。在透过为青少
  • 卢浮宫协议卢浮宫协议由六国集团(美、日、英、法、西德、加拿大)于1987年2月22日在法国巴黎签署,意大利虽受邀请,但是最终不参与签署。协议的目标是稳定国际货币市场,停止由广场协议导致的