琳达

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


zbMATH中的参考文献(参考 102篇文章

显示102个结果中的1到20个。
按年份排序(引用)
  1. Mario Bravetti;Zavattaro,Gianluigi:过程计算作为研究协调、合同和会话类型的工具(2020年)
  2. 克里斯特斯库(Cristescu),约阿纳(Ioana);吉维森(Given Wilson),托马斯(Thomas);莱盖(Legay),阿克塞尔(Axel):同时内涵的表现力(2020年)
  3. 丹尼斯·达昆内斯;杰奎特,让-玛丽;林登,伊莎贝尔:基于数据的协调语言中多样性的表达(2020)
  4. De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020)
  5. Viroli,Mirko;Beal,Jacob;Damiani,Ferruccio;Audrito,Giorgio;Casadei,Roberto;Pianini,Danilo:从分布式协调到场微积分和聚合计算(2019)
  6. Calegari,Roberta;Denti,Enrico;Mariani,Stefano;Omicini,Andrea:逻辑编程即服务(2018)
  7. 杰里米•凯普纳;海登•贾南坦:《大数据数学》。电子表格、数据库、矩阵和图表。Charles E.Leiserson的前言(2018年)
  8. 拉诺特,拉格罗;梅罗,马西莫:物联网的语义理论(2018)
  9. Giachino,Elena;Lanese,Ivan;Mezzina,Claudio Antares;Tiezzi,Francesco:基于元组语言的因果一致性回滚(2017)
  10. Baldoni,Roberto;Bonomi,Silvia;Raynal,Michel:《在动态分布式系统中实现集合对象》(2016)
  11. Given Wilson,Thomas;Legay,Axel:论对称通信的表现力(2016)
  12. Aceo,Luca;Goriac,Eugen Ioan;Ingolfsdottir,Anna:Linda无状态双相似性的基本公理化(2015)
  13. Dwornikowski,Dariusz;Stroninski,Andrzej;Brzezinïski,Jerzy:走向REST的过程微积分:当前艺术状态(2015)
  14. Montanari,Ugo;Pugliese,Rosario;Tiezzi,Francesco:用多个约束存储编程自主系统(2015)
  15. Nielson,Hanne Riis;Nielson,Flemming;Vigo,Roberto:针对不可靠通信的健壮性的质量微积分(2015)
  16. Borgström,Johannes;Gutkovas,Ramūnas;Parrow,Joachim;Victor,Björn;íman Pohjola,Johannes:应用过程计算的分类语义框架(扩展摘要)(2014)
  17. Skyrme,Alexandre;Rodriguez,Noemi;Ierusalimschy,Roberto:并发控制模型中结构化通信支持的调查(2014)ioport公司
  18. Van Cutsem,Tom;Gonzalez Boix,Elisa;Scholliers,Christophe;Lombide Carreton,Andoni;Harnie,Dries;Pinte,Kevin;De Meuter,Wolfgang:Ambienttalk:用演员编程响应式移动对等应用程序(2014)ioport公司
  19. 纳迪尼,埃琳娜;奥米奇尼,安德里亚;维罗利,米尔科:语义元组中心(2013)ioport公司
  20. Viroli,Mirko:普适服务中的竞争性自我组合(2013)ioport公司