π-演算

✍ dations ◷ 2025-04-12 08:51:27 #理论计算机科学,进程演算

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

相关

  • 7第7周期元素是元素周期表第七行(即周期)的元素,皆具有放射性,包括锕系元素。有:第1周期元素 - 第2周期元素 - 第3周期元素 - 第4周期元素 - 第5周期元素 - 第6周期元素 - 第7周期
  • 最大似然估计在统计学中,最大似然估计(英语:maximum likelihood estimation,缩写为MLE),也称极大似然估计、最大概似估计,是用来估计一个概率模型的参数的一种方法。下边的讨论要求读者熟悉概率
  • 胡麻油芝麻油(或称麻油、香油)是以芝麻为原料提炼制作的食用油。高温制程之纯芝麻油气味浓香,常呈淡红色或红中带黄。根据加工制作工艺的不同,分为小磨香油、机制香油和大槽香油三类
  • 固态氧化物燃料电池固态氧化物燃料电池(solid oxide fuel cell,简称:SOFC)是一种电化学转换设备,将燃料转换为电能。燃料电池的特征在于它们的电解质材料;固态氧化物燃料电池具有固态氧化物或陶瓷电
  • 钱以垲钱以垲(1644年-1732年),字阆行,号蔗山。浙江嘉善人,钱士晋曾孙,清朝官员、同进士出身。康熙二十七年(1688年)戊辰科进士。历官通政使司右通政、左通政、少詹事。雍正五年(1727年)升左副
  • 东京工业大学东京工业大学(日:東京工業大学/とうきょうこうぎょうだいがく,英语名称:Tokyo Institute of Technology)为日本东京的一所国立大学,本校区位于东京都目黑区大冈山。该校于1929年创
  • 月桂月桂(学名:),又称月桂树、桂冠树、甜月桂、月桂冠,是调味料月桂叶的来源。原产于地中海沿岸及小亚细亚一带灌木岩石区,现已遍布世界各地。叶片深绿色,椭圆形,革质,味苦,清香。干燥后,苦
  • 示部示部,为汉字索引中的部首之一,康熙字典214个部首中的第一百一十三个(五划的则为第十九个)。就繁体和简体中文中,示部归于五划部首。大多以左、下方为部字。且无其他部首可用者将
  • 加拿大国徽加拿大国徽或加拿大王徽(英语:Arms of His/Her Majesty in Right of Canada),是加拿大和加拿大君主自1921年以来的正式徽号,其设计仿照英国国徽,但徽号中的部分英式元素则被具有加
  • 楼门文化楼门文化是现代社区中流行于楼道及各家各户的房门之上的一种新型社区文化。主要表现在楼道间、房门上的装饰等等。有点类似于中国传统的节庆期间的门上的年画之类。楼门文化