A Formal Concurrent Programming Language for Message Passing

一种用于消息传递的正式并发编程语言

基本信息

  • 批准号：
    551545-2020
  • 负责人：
    Pon, Jared
  • 金额：
    $ 0.33万
  • 依托单位：
    University of Calgary
  • 依托单位国家：
    加拿大
  • 项目类别：
    University Undergraduate Student Research Awards
  • 财政年份：
    2020
  • 资助国家：
    加拿大
  • 起止时间：
    2020-01-01 至 2021-12-31
  • 项目状态：
    已结题

项目摘要

No summary - Aucun sommaire
无摘要- Aucun sommaire

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Pon, Jared其他文献

Pon, Jared的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Pon, Jared', 18)}}的其他基金

Implementation of a message passing concurrent categorical programming language
消息传递并发分类编程语言的实现
  • 批准号：
    563918-2021
  • 财政年份：
    2021
  • 资助金额：
    $ 0.33万
  • 项目类别：
    University Undergraduate Student Research Awards

相似国自然基金

VLSI并发式(CONCURRENT)阵列声纳信号处理系统
  • 批准号：
    68880207
  • 批准年份：
    1988
  • 资助金额：
    3.0 万元
  • 项目类别：
    专项基金项目

相似海外基金

Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
  • 批准号：
    EP/X015149/1
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Research Grant
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
  • 批准号：
    EP/X015076/1
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Research Grant
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
  • 批准号：
    EP/X015114/1
  • 财政年份：
    2023
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Research Grant
An Educational Tool for Teaching and Learning Concurrent Computer Programming Techniques
用于教授和学习并行计算机编程技术的教育工具
  • 批准号：
    2215359
  • 财政年份：
    2022
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Standard Grant
An Educational Tool for Teaching and Learning Concurrent Computer Programming Techniques
用于教授和学习并行计算机编程技术的教育工具
  • 批准号：
    2215193
  • 财政年份：
    2022
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Standard Grant
Models and Mechanisms for Programming Interactions in Concurrent Systems
并发系统中编程交互的模型和机制
  • 批准号：
    RGPIN-2017-06955
  • 财政年份：
    2021
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Discovery Grants Program - Individual
Session type embedding for practical concurrent/distributed programming
用于实际并发/分布式编程的会话类型嵌入
  • 批准号：
    21K11827
  • 财政年份：
    2021
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Implementation of a message passing concurrent categorical programming language
消息传递并发分类编程语言的实现
  • 批准号：
    563918-2021
  • 财政年份：
    2021
  • 资助金额：
    $ 0.33万
  • 项目类别：
    University Undergraduate Student Research Awards
Models and Mechanisms for Programming Interactions in Concurrent Systems
并发系统中编程交互的模型和机制
  • 批准号：
    RGPIN-2017-06955
  • 财政年份：
    2020
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Discovery Grants Program - Individual
Models and Mechanisms for Programming Interactions in Concurrent Systems
并发系统中编程交互的模型和机制
  • 批准号：
    RGPIN-2017-06955
  • 财政年份：
    2019
  • 资助金额：
    $ 0.33万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了