洛托斯

介绍ISO规范语言Lotos。Lotos是专门为OSI(开放系统互连)体系结构的形式化描述而专门开发的一种规范语言,尽管它一般适用于分布式、并发系统。在Lotos中,系统被看作是一组相互作用并相互交换数据和与其环境的过程。Lotos预计将成为ISO国际标准1988。


ZBMaX中的参考文献(150篇)1标准条款

显示结果1至20的150。
按年份排序(引文
  1. 江,简敏;朱,Huibiao;李,秦;赵,永新;张,史;龚,平;洪,钟:事件基函数分解(2020)
  2. Garavel,休伯特:嵌套单位Petri网(2019)
  3. Chane Yack Fa,RAPHA;FrAPPER,贾景晖;Mammar,Amel;芬克尔,AlAI:单调信息系统的参数化验证(2018)
  4. van Glabbeek,Rob J.:异步(\pi)演算中同步的有效性(2018)
  5. EvrRad,HuGues;郎,Fr.E.EdRiR:由多路交会的异步进程的正式模型生成的自动分布式代码生成(2017)
  6. BRS,埃米尔;van Glabbeek,Rob;Hofnne,彼得:一个适用于路由的无线网络的时间进程代数(扩展摘要)(2016)
  7. 延森,Peter Gj·L;拉森,Kim Guldstrand;SRBA,Jiii:离散化时间弧Petri网对策的实时策略综合(2016)
  8. van Glabbeek,罗布;H·Fnne,彼得;Potman,马吕斯;Tan,Wee Lum:AODV路由协议的建模和验证(2016)
  9. Vekris,Dimitris;郎,弗雷德里克;Dima,Calalin;Mateescu,RADU:使用CADP(2016)验证(\ MaTeMeb ^ 3)规范
  10. 查马,IMED Eddin;Belala,Nabil;Saidouni,Djamel Eddine:业务流程时间约束的正式建模和分析(2015)
  11. Garavel,休伯特:重读过程计算器中的顺序合成(2015)
  12. Gorrieri,罗伯托;Versari,克里斯蒂安:并发理论导论。过渡系统与CCS(2015)
  13. Terraf,佩德罗:双imimelistic不是Boell(2015)
  14. Valmari,安蒂:LTS运营商从其他LTS运营商的可构造性和不可构造性(2015)
  15. van Glabbeek,Rob J.;H·芬纳,彼得:CCS:这是不公平的!即使在进度和某些公平假设下,公平调度也不能用类似于CCS的语言实现(2015)。
  16. Boiten,Eerke A.:在细化中引入额外操作(2014)
  17. Derrick,约翰;Boiten,Erk:关系并发细化。Ⅲ:迹、部分关系和自动机(2014)
  18. 苏,李;戈麦斯,鲁道夫;Bowman,霍华德:利用通信自动机分析神经生物学模型(2014)
  19. Valmari,ANTI:熟悉算子的所有线性时间同余(2013)
  20. Vekris,Dimitris;Dima,Calalin:(EB ^ 3)的有效操作语义用于时间属性验证(2013)