课题基金 / 基金详情

The Usage of Pi-Calculus for the Detection of Deadlock

The Usage of Pi-Calculus for the Detection of Deadlock
Pi 微积分在死锁检测中的应用
批准号：
317898-2005
负责人：
VanWart, Scott
金额：
$1.26万
依托单位：
Dalhousie University
依托单位国家：
加拿大
项目类别：
Postgraduate Scholarships - Master's
财政年份：
2005
资助国家：
加拿大
项目状态：
已结题
起止时间：
2005-01-01 至 2006-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=298178
关键词：
UsagePiCalculusDetectionDeadlock

项目摘要

项目成果

VanWart, Scott的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
The Usage of Pi-Calculus for the Detection of Deadlock
  • 批准号：
    317898-2006
  • 项目类别：
    Postgraduate Scholarships - Master's
  • 资助金额：
    $1.26万
  • 财政年份：
    2006
  • 负责人：
    VanWart, Scott
  • 依托单位：
    Dalhousie University
国内基金
海外基金
第452位络氨酸磷酸化PI3Kp85抗体的制备方法和使用方法
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    迟寅秀
  • 依托单位：
    江苏医药职业学院
力学响应干细胞外囊泡通过Sclerostin/PI3K/AKT轴促进骨腱界面损伤愈合的作用机制研究
  • 批准号：
    2026JJ50337
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    肖汉
  • 依托单位：
    湖南省儿童医院
NCAPD2通过PI3K-AKT-mTOR-Myc信号轴促进子宫内膜样癌增殖及EMT的机制与靶向治疗研究
  • 批准号：
    JCZRLH202600400
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
  • 依托单位：
    湖北医药学院
基于“痞积转化”理论探究网果酸模通过PI3K/Akt通路调控巨噬细胞极化平衡抑制胃癌的分子机制​