洛托斯

介绍ISO规范语言LOTOS。LOTOS是一种规范语言,专门为OSI(开放系统互连)体系结构的形式化描述而开发,尽管它通常适用于分布式并发系统。在LOTOS中,系统被看作是一组进程,它们相互之间以及与环境交互和交换数据。LOTOS有望在1988年成为ISO国际标准。


zbMATH中的参考文献(参考文献152篇文章,1标准件)

显示152个结果中的41到60个。
按年份排序(引用)
  1. 陈韬略;普洛格,巴斯;范德波尔,雅科;Willemse,Tim A.C.:使用参数化布尔方程系统对无限系统进行等价性检验(2007)
  2. 科拉迪尼,F。;Vogler,W.:流水线异步系统的性能(2007)
  3. 德弗朗西斯科,尼古莱塔;桑托内,安东内拉;Vaglini,Gigliola:一个用户友好的接口来指定并发系统的时间属性(2007)ioport公司
  4. 费希尔,哈拉尔德;Schmidt,Heiko:具有内在选择的过程代数:并发系统的修正语义(2007)
  5. 格鲁伯格,奥娜;Katz,Shmuel:VeriTech:a framework for translation in model description notations(2007年)ioport公司
  6. 伦辛克,阿伦德;沃格勒,沃尔特:公平测试(2007)
  7. 吴晓涛;Schulzrinne,Henning:用终端系统服务语言处理功能交互(2007)
  8. 戈尔塞,尼古拉斯;洛格里普,路易吉;Sincennes,Jacques:在CPL中检测特征交互作用(2006)ioport公司
  9. 格拉达拉,萨拉;桑托内,安东内拉;Villani,Maria Luisa:(\textDELFIN^+):CCS进程的有效死锁检测工具(2006)
  10. Lalire,Marie:量子过程之间的关系:双相似性和同余(2006)
  11. Unruh,Dominique:量子编程语言(2006)ioport公司
  12. 阿尔伯托威尔德乔;MartíOliet,Narciso:Maude中的可执行结构操作语义(2006)
  13. 阿尔迪尼,亚历山德罗;Bernardo,Marco:过程代数的可用性:一个体系结构的观点(2005)
  14. 巴布提,罗伯托;德弗朗西斯科,尼古莱塔;桑托内,安东内拉;Vaglini,Gigliola:有效CCS验证的简化模型(2005)
  15. 塞隆,安东尼奥;Milne,George J.:异步系统的属性验证(2005)ioport公司
  16. D'Argenio,佩德罗·R。;Katoen,Joost Pieter:随机系统理论。二: 过程代数(2005)
  17. 埃文斯,尼尔;Treharne,Helen:研究使用CSP和B的文件传输协议(2005)ioport公司
  18. 弗雷金,贝诺;弗拉皮尔,马克;Laleau,Régine:信息系统基于状态和基于事件的规范:B和EB的比较(^3)(2005)ioport公司
  19. 秦广平;吴金钊:具有紧急性的实时并发过程的动作细化(2005)ioport公司
  20. 萨拉因,格温;Serwe,Wendelin:将硬件过程代数转换为标准过程代数:用CHP和LOTOS说明(2005)