场景：并发计算的形式模型-猫眼课题宝

场景：并发计算的形式模型

批准号：

8406850

负责人：

Leigh Atkinson

金额：

$8.85万

依托单位：

University of North Carolina at Chapel Hill

依托单位国家：

美国

项目类别：

Standard Grant

财政年份：

1984

资助国家：

美国

项目状态：

已结题

起止时间：

1984-08-15 至 1987-01-31

来源：

https://www.nsf.gov/awardsearch/showAward?AWD_ID=8406850&HistoricalAwards=false

关键词：

Scenarios Formal Model Concurrent Computation

项目摘要

项目成果

Leigh Atkinson的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

UNCA Workstation Workshop

批准号：

9353973
项目类别：

Standard Grant
资助金额：

$19.5万
财政年份：

1994
负责人：

Leigh Atkinson
依托单位：

University of North Carolina at Asheville

UNCA Workstation Workshop

批准号：

9255552
项目类别：

Standard Grant
资助金额：

$10.0万
财政年份：

1993
负责人：

Leigh Atkinson
依托单位：

University of North Carolina at Asheville

Development of a Unified Upper Division Computer Science Laboratory at University of North Carolina Asheville

批准号：

9152399
项目类别：

Standard Grant
资助金额：

$4.35万
财政年份：

1991
负责人：

Leigh Atkinson
依托单位：

University of North Carolina at Asheville

海外基金