琳达

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


ZBMaCT中的参考文献(99篇文章中引用)

显示结果1至20的99。
按年份排序(引文
  1. De Nicola,罗科;法拉利,GiangLuigi;PuGeice,Rosario;TayZi,弗朗西斯科:一种面向领域的分布式系统工程的正式方法(2020)
  2. Viroli,米尔科;Beal,雅各伯;达米亚尼,FruCio;Addito,吉奥吉奥;Casadii,罗伯托;Pig,y:从分布式协调到字段演算和聚合计算(2019)
  3. Calegari,罗伯塔;牙医,恩里科;Mariani,斯蒂法诺;Omicini,安德列:逻辑编程作为一种服务(2018)
  4. Kepner,杰瑞米;Jananthan,海登:大数据的数学。电子表格、数据库、矩阵和图表。用Charles E. Leiserson的序言(2018)
  5. Lanotte,Ruggero;梅洛,马西莫:物联网的语义理论(2018)
  6. Giachino,埃琳娜;LANES,伊凡;MeZina,Claudio Antares;TayZi,弗朗西斯科:基于元组的语言的因果一致回滚(2017)
  7. Baldoi,罗伯托;BoMoMi,西尔维亚;Rayle,米歇尔:在动态分布式系统中实现集合对象(2016)
  8. Given Wilson、托马斯、莱杰、阿克塞尔:对称传播的表现性(2016)
  9. Aceto,卢卡;Goalac,Eugen Ioan;IgopfsdodoTIR,安娜:琳达(2015)上无状态二元性的地面完备公理化
  10. Dwornikowski,Dariusz;斯特里斯基,塔尔科夫斯基;BrZZi-SKY,JeZe:走向REST的过程演算:最新进展(2015)
  11. 蒙大拿,Ugo;PuGeice,Rosario;TIEZI,弗朗西斯科:用多约束存储编程自治系统(2015)
  12. Nielson,Hanne Riis;Nielson,弗来明;Vigo,罗伯托:对不可靠通信鲁棒性的质量演算(2015)
  13. Gutkovas,RAM-NAS;帕罗,约阿希姆;维克多,BJ Orn;man Pohjola,Johannes:应用过程计算器的分选语义框架(扩展摘要)(2014)
  14. Skyrme,亚历山大;罗德里格兹,诺埃米;Irasalimimsy,罗伯托:并发控制模型中结构化通信支持的调查(2014)伊波尔特
  15. Van Cutsem,汤姆;Gonzalez Boix,伊莉莎;Surier-Res;克里斯多夫;LobbID-Calrton,Andoni;Harnie,Dres;PoTe,凯文;Posile,Yo:MobiTalk:与演员编程的响应性移动对等应用(2014)伊波尔特
  16. 里卡多·纳迪尼,埃琳娜;Omicini,安德列;ViLogi,米尔科:语义元组中心(2013)伊波尔特
  17. Viroli,米尔科:普适服务中的竞争自我构成(2013)伊波尔特
  18. 巴博萨、豪尔赫、迪伦堡、Fabiane、Lermen、古斯塔沃、Garz、O、亚历克斯、Costa、克里斯蒂亚诺、克里斯蒂亚诺、Joango:面向上下文感知应用程序的编程模型(2012)伊波尔特
  19. Boangangue,马塞洛;克拉克,戴夫;席尔瓦,亚历山德拉:上下文相关的组件连接器模型(2012)
  20. FoK,池恩亮;Road,Grasi-Calalin;卢,陈洋:Servia:一种异构传感器网络的灵活服务提供中间件(2012)伊波尔特