课题基金 / 基金详情

Reversibility of the Pi-Calculus and Session Types

Reversibility of the Pi-Calculus and Session Types
Pi 微积分和会话类型的可逆性
批准号：
1791132
负责人：
金额：
$0.0万
依托单位：
Imperial College London
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2016
资助国家：
英国
项目状态：
已结题
起止时间：
2016 至 --
来源：
https://gtr.ukri.org/projects?ref=studentship-1791132
关键词：
ReversibilityPiCalculusSessionTypes

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This project studies reversible computation of the pi-calculus based on session types and multiparty session types. It includes behavioural theories and their applications.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
Towards a Categorical Representation of Reversible Event Structures
可逆事件结构的分类表示
DOI： 10.4204/eptcs.246.9
发表时间： 2017
期刊： Electronic Proceedings in Theoretical Computer Science
影响因子： --
作者： [Graversen E]
通讯作者： Graversen E
国内基金
海外基金
第452位络氨酸磷酸化PI3Kp85抗体的制备方法和使用方法
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    迟寅秀
  • 依托单位：
    江苏医药职业学院
NCAPD2通过PI3K-AKT-mTOR-Myc信号轴促进子宫内膜样癌增殖及EMT的机制与靶向治疗研究
  • 批准号：
    JCZRLH202600400
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
  • 依托单位：
    湖北医药学院
基于“痞积转化”理论探究网果酸模通过PI3K/Akt通路调控巨噬细胞极化平衡抑制胃癌的分子机制​
“补肾健脾，化痰通络”法调控PI3K/Akt/MCT1介导的乳酸转运改善血管性痴呆的机制研究