RUI：并发的结构化操作语义-猫眼课题宝

RUI：并发的结构化操作语义

批准号：

8801174

负责人：

Sorin Istrail

金额：

$0.0万

依托单位：

Wesleyan University

依托单位国家：

美国

项目类别：

Standard Grant

财政年份：

1988

资助国家：

美国

项目状态：

已结题

起止时间：

1988-09-01 至 1991-02-28

来源：

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

关键词：

RUI Structured Operational Semantics Concurrency

项目摘要

项目成果

Sorin Istrail的其他基金

相似基金

相关文献

中文摘要

翻译

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

英文摘要

This project is an investigation of operational semantics of concurrent processes. Preliminary results reveal some inherently unobservable behaviour in the interactive testing of concurrent processes. The work leads to the formulation of a new, general notion of Structured Operational Semantics for concurrent processes, generalizing the traditional framework.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文