二郎

Erlang是一种编程语言,用于构建具有高可用性要求的大规模可伸缩软实时系统。它的一些用途是在电信、银行、电子商务、计算机电话和即时通讯。Erlang的运行时系统内置了对并发、分布和容错的支持


zbMATH中的参考文献(参考文献109篇文章,2标准条款)

显示109个结果中的1到20个。
按年份排序(引用)
  1. 德尼古拉,罗科;法拉利,吉安鲁吉;普利斯,罗萨里奥;Tiezzi,Francesco:一种域特定分布式系统工程的正式方法(2020)
  2. 沙巴诺夫,B。M、 。;库兹涅佐娃。A、 。;里巴科夫,A。A、 :数据流处理器仿真器实现功能(2020)
  3. 叶希亚,阿布德·阿尔拉赫曼;Torres Vieira,Hugo:电网运行控制的协调协议语言(2019)
  4. 哈勒,菲利普;Miller,Heather:直接式异步可观测的简化语义(2019)
  5. 约翰森,基督徒;Owe,Olaf:动态结构操作语义(2019)
  6. Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019)
  7. 卡巴莱罗,拉斐尔;马丁·马丁,恩里克;里斯科,阿德里án;萨尔瓦多塔马里特:并发Erlang程序的声明性调试(2018)
  8. 因萨,大卫;Pé雷兹,塞尔吉奥;席尔瓦,约瑟普;萨尔瓦多塔马里特:Erlang代码进化控制(2018)
  9. 伊万·兰内斯;西田、直木;帕拉西奥斯,阿德里án;维达尔,细菌án: Erlang可逆性理论(2018)
  10. ó佩斯·弗拉瓜斯,弗朗西斯科·J。;黑山,曼努埃尔;á雷兹加克ía、 戈尔卡:Erlang的多态成功类型(2018)
  11. ü勒尔,彼得(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  12. 艾伯特,艾薇拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;Martin Martin,Enrique:演员到Haskell的正式、资源消耗保护翻译(2017)
  13. 艾伯特,艾薇拉;弗洛雷斯·蒙托亚,安东尼奥;杰纳姆,萨米尔;Martin Martin,Enrique:并行交织循环的信赖保证终止和成本分析(2017)
  14. 鲍姆加特纳,亚历山大;特穆尔库兹亚;利维,乔迪;Villaret,Mateu:线性时间的高阶模式反统一(2017)
  15. 勃兰特,Jö尔根;莱希格,沃尔夫冈;Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017)
  16. 大卫·因萨,塞尔吉奥·Pérez,Josep Silva,Salvador Tamarit:Erlang代码进化控制(2017)阿尔十四
  17. 西田、直木;帕拉西奥斯,阿德里án;维达尔,细菌án: Erlang的可逆语义(2017)
  18. 菲利普·莫里茨、罗伯特·西哈拉、斯蒂芬妮·王、亚历克谢·图马诺夫、理查德·利亚乌、埃里克·梁、梅利赫·伊莱波、杨宗亨、威廉·保罗、迈克尔一世。Jordan,Ion Stoica:Ray:新兴人工智能应用的分布式框架(2017)阿尔十四
  19. 迪特尔,M。;Horstmeyer,T。;鲁根,R。;Berthold,J.:Eden中的骨架组成与稳定过程系统(2016)
  20. 博士ă戈伊,塞扎拉;托马斯·齐纳。;Zuffrey,Damien:\textscPSync:容错分布式算法的部分同步语言(2016)