π-演算

✍ dations ◷ 2025-06-08 14:25:55 #理论计算机科学,进程演算

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

相关

  • 土地测量土地测量,即透过应用测量学测量土地的数量、分布和形势等。透过利用测量学或者遥感技术来对不同的土地进行测量。测量的范围包括土地数量、土地分布、土地形势等,然后再进行绘
  • 巴基斯坦广播电台巴基斯坦广播公司(英语:Pakistan Broadcasting Corporation, PBC,乌尔都语:ریڈیو پاکستان)是隶属于巴基斯坦伊斯兰共和国的一家国际广播电台,成立于1947年8月14日,总部
  • 科罗拉多州行政区划美国科罗拉多州共有64个县。由于科罗拉多州政府并没有设立行政镇区,所以县是政府重要的行政单位。科罗拉多州共有两个市县合一的地方,分别是布鲁姆菲尔德和州府丹佛。科罗拉多
  • 约翰·克鲁伊夫亨德里克·约翰内斯·“约翰”·克鲁伊夫(荷兰语:Hendrik Johannes "Johan" Cruijff, (荷兰语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libe
  • 对流抑制能对流抑制能 (Convective inhibition, CIN or CINH) 是气象学名词,其意义为阻止气块自地面上升至自由对流高度的能量大小。地面气块需要突破负浮力区所造成的对流抑制能,才能
  • 中后圆唇元音中后圆唇元音是一个用于一些口语中的元音。由于在国际音标中并没有专门表示半闭与半开之间的元音音标,习惯上通常将此音直接写作⟨o⟩。若要更精确地描述,可以加上变音符号,如
  • 大柳塔北站大柳塔北站是位于陕西省神木县大柳塔镇的一个铁路车站,邮政编码719315。车站建于1989年,有包神铁路经过该站,现仅办理货运,不办理客运业务。车站距离包头东站182公里,隶属包神铁
  • PRODUCE 48每集尾段会展示各练习生的排名,而最后获选的12名成员将会组成一个团体,以该团体身份活动2年6个月。以下记录各参演练习生成员每集观众投票排名名次。AKB48+10! | ○AKBINGO!(AK
  • 2018年夏季青年奥林匹克运动会匈牙利代表团2018年夏季青年奥林匹克运动会匈牙利代表团是匈牙利所派出的2018年夏季青年奥林匹克运动会代表团。匈牙利共派出16名运动员参加青奥田径比赛。根据2018年5月3日的世界羽联青
  • 缅因州州旗缅因州州旗为蓝底,中心为缅因州州徽。在州徽上有一个在松树下休息的麋鹿,松树象征新英格兰。左右为一个农民和一个海员,代表州的主要产业。最上方的北极星代表州格言“我领导”