并发程序的组成

[1993] Proceedings. The 13th International Conference on Distributed Computing Systems Pub Date : 1993-05-25 DOI:10.1109/ICDCS.1993.287686

A. Gopal, K. Perry

{"title":"并发程序的组成","authors":"A. Gopal, K. Perry","doi":"10.1109/ICDCS.1993.287686","DOIUrl":null,"url":null,"abstract":"A model and a notation are developed for specifying the composition of concurrent programs. The work is based on the observation that the composition of concurrent programs often requires not only intraprocessor coordination but also interprocessor coordination. A notation is developed for explicitly specifying both forms of coordination within a single uniform framework. Much prior work has either ignored the interprocessor coordination aspects of composition, or treated it in a manner separate from the intraprocessor coordination aspects.<<ETX>>","PeriodicalId":249060,"journal":{"name":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Composition of concurrent programs\",\"authors\":\"A. Gopal, K. Perry\",\"doi\":\"10.1109/ICDCS.1993.287686\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A model and a notation are developed for specifying the composition of concurrent programs. The work is based on the observation that the composition of concurrent programs often requires not only intraprocessor coordination but also interprocessor coordination. A notation is developed for explicitly specifying both forms of coordination within a single uniform framework. Much prior work has either ignored the interprocessor coordination aspects of composition, or treated it in a manner separate from the intraprocessor coordination aspects.<<ETX>>\",\"PeriodicalId\":249060,\"journal\":{\"name\":\"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICDCS.1993.287686\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings. The 13th International Conference on Distributed Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICDCS.1993.287686","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

开发了一个模型和符号来指定并发程序的组成。这项工作是基于观察并发程序的组成通常不仅需要处理器内协调，而且需要处理器间协调。开发了一种符号，用于在单个统一框架内显式指定两种形式的协调。许多先前的工作要么忽略了组合的处理器间协调方面，要么以一种与处理器内协调方面分开的方式对待它。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Composition of concurrent programs

A model and a notation are developed for specifying the composition of concurrent programs. The work is based on the observation that the composition of concurrent programs often requires not only intraprocessor coordination but also interprocessor coordination. A notation is developed for explicitly specifying both forms of coordination within a single uniform framework. Much prior work has either ignored the interprocessor coordination aspects of composition, or treated it in a manner separate from the intraprocessor coordination aspects.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1993] Proceedings. The 13th International Conference on Distributed Computing Systems

自引率

0.00%

发文量