×

舒适的

swMATH ID: 30494
软件作者： 劳尔，体育。；托里吉亚尼，P.R。；护罩，M.W。
描述： COSY-一种基于路径和过程的系统规范语言。介绍了一种新的表示法，用于指定共享分布式资源系统的并发进程系统，并通过定义执行重要操作系统功能的新颖、高度并发和分布式算法，证明了该表示法的实用性。该符号允许从分析其组件概念中对算法进行清晰和逻辑的开发；例如各种缓冲区类型，以及非优先级和优先级资源管理策略；没有参考任何实现细节。这种符号特性有助于验证算法及其新颖、高度并发和分布式实现。
主页： https://rd.springer.com/article/10.1007/BF00266047
关键词： 舒适的；系统规范语言；并发进程；操作系统
相关软件： 路径帕斯卡；LOTOS公司；卢斯特；半人马座
引用于： 14文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
COSY-一种基于路径和过程的系统规范语言。 Zbl 0403.68031号
Lauer，体育。；Torrigiani，P.R。；希尔兹，M.W。
1979
全部的 前5名

20位作者引用

三 里扎德·贾尼基
2 彼得·恩斯特·劳尔
1 安德烈·阿诺德
1 最好的，艾克
1 弗兰克·卡塞兹
1 罗伯特·德·西蒙
1 皮耶保罗·德加诺
1 雷蒙德·魔鬼队
1 维杰·加格。
1 彼得·霍夫纳
1 马西耶·库特尼
1 乌戈·蒙塔纳里。
1 费利卡·奥库利卡
1 奥尔德罗格（Ernst-Rüdiger Olderog）
1 麻省理工学院拉古纳。
1 Olivier F.鲁克斯。
1 迈克尔·希尔兹（Michael W.Shields）。
1 托里吉亚尼，P.R。
1 范格拉贝克、罗伯特·扬
1 格林·温斯克尔

3篇连载文章中引用

10 理论计算机科学
三 信息学报
1 计算机与系统科学杂志

在1个字段中引用

14 计算机科学（68至XX）

按年份列出的引文