琳达

琳达的生成性沟通。生成通信是一种新的分布式编程语言的基础,这种语言一般用于分布式环境下的系统编程,特别是集成网络计算机上的系统编程。它不同于以前的进程间通信模型,它指定消息以元组结构的形式添加到计算环境中,在计算环境中,消息作为命名的独立实体存在,直到某个进程选择接收它们为止。生成性交流产生了新语言Linda的一些显著特性,Linda就是围绕它构建的。琳达在空间和时间上是完全分布的;它允许分布式共享、连续传递和结构化命名。我们讨论了这些性质及其含义,然后给出了一系列例子。Linda介绍了我们在第二部分中讨论的新的实现问题。我们特别关注生成通信模型所需的动态全局名称空间的实现。


zbMATH中的参考文献(参考文献103条)

显示103个结果中的1到20个。
按年份排序(引用)
  1. 布雷维蒂,马里奥;Zavattaro,Gianluigi:过程计算作为研究协调、合同和会话类型的工具(2020)
  2. 克里斯特斯库,约阿纳;给威尔逊,托马斯;Legay,Axel:并行内涵的表现力(2020)
  3. 达昆内斯,丹尼斯;雅克,让-玛丽;林登,伊莎贝尔:基于数据的协调语言中多样性的表达(2020)
  4. 德尼古拉,罗科;法拉利,吉安鲁吉;普利斯,罗萨里奥;Tiezzi,Francesco:一种域特定分布式系统工程的正式方法(2020)
  5. 维罗利,米尔科;比尔,雅各布;达米亚尼,费鲁乔;奥德里托,乔治;卡萨迪,罗伯托;Pianini,Danilo:从分布式协调到场微积分和聚合计算(2019)
  6. 卡列加里,罗伯塔;恩里科·迪蒂;玛丽亚尼,斯特凡诺;奥米奇尼,安德里亚:逻辑编程即服务(2018)
  7. 凯普纳,杰里米;海登,贾南坦:大数据的数学。电子表格、数据库、矩阵和图表。Charles E.Leiserson的前言(2018年)
  8. 拉诺特,拉格罗;梅罗,马西莫:物联网的语义理论(2018)
  9. 贾奇诺,埃琳娜;伊万·兰内斯;梅齐纳,克劳迪奥·安塔雷斯;Tiezzi,Francesco:基于元组语言的因果一致性回滚(2017)
  10. 巴尔多尼,罗伯托;博诺米,西尔维亚;Raynal,Michel:在动态分布式系统中实现集合对象(2016)
  11. 给威尔逊,托马斯;Legay,Axel:论对称通信的表现力(2016)
  12. 丙酮,卢卡;戈里亚克,尤金·伊安;Ingolfsdottir,Anna:Linda无状态双相似性的基本公理化(2015)
  13. 达里乌斯,德沃尼科夫斯基;斯特罗林斯基,安德烈;Brzezinèski,Jerzy:走向REST的过程微积分:当前艺术状态(2015)
  14. 蒙塔纳里,乌戈;普利斯,罗萨里奥;Tiezzi,Francesco:用多个约束存储编程自主系统(2015)
  15. 尼尔森,汉娜·里斯;尼尔森,弗莱明;Vigo,Roberto:针对不可靠通信的健壮性的质量微积分(2015)
  16. 博格斯特伦,约翰内斯;古特科瓦斯,拉姆ū纳斯;鹦鹉,约阿希姆;维克托,比伦;Åman Pohjola,Johannes:应用过程计算的分类语义框架(扩展摘要)(2014)
  17. 斯凯尔姆,亚历山德拉;罗德里格斯,诺埃米;Ierusalimschy,Roberto:并发控制模型中结构化通信支持的调查(2014)ioport公司
  18. 范卡特森,汤姆;冈萨雷斯·博伊克斯,Elisa;学者,克里斯托夫;隆拜德卡雷顿,安多尼;哈尼,干了;品特,凯文;De Meuter,Wolfgang:Ambienttalk:使用参与者编程响应式移动对等应用程序(2014)ioport公司
  19. 纳迪尼,埃琳娜;奥米奇尼,安德里亚;Viroli,Mirko:语义元组中心(2013)ioport公司
  20. Viroli,Mirko:普适服务中的竞争性自我组合(2013)ioport公司