洛托斯

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


zbMATH参考文献(参考 151篇文章 参考,1标准件)

显示第1到第20个结果,共151个。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. 蒋建民;朱慧彪;李,秦;赵永新;张,石;龚,平;洪,钟:基于事件的功能分解(2020)
  2. 保存或保持稳定(低于2020年)
  3. Garavel,Hubert:嵌套单元Petri网(2019)
  4. Chane Yack Fa,Raphaël;Frappier,Marc;Mammar,Amel;Finkel,Alain:单调信息系统的参数化验证(2018)
  5. van Glabbeek,Rob J.:异步(\pi)-微积分中同步编码的有效性(2018)
  6. Evrard,Hugues;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  7. Bres,Emile;van Glabbeek,Rob;Höfner,Peter:无线网络的定时进程代数及其在路由中的应用(扩展摘要)(2016)
  8. Jensen,Peter Gjøl;Larsen,Kim Guldstrand;Srba,Jiří:基于离散化的定时弧Petri网博弈的实时策略综合(2016)
  9. van Glabbeek,Rob;Höfner,Peter;Portmann,Marius;Tan,Wee Lum:AODV路由协议的建模和验证(2016)
  10. Vekris,Dimitris;Lang,Frédéric;Dima,Catalin;Mateescu,Radu:使用CADP验证(\mathrmEB^3)规范(2016年)
  11. Chama,Imed Eddine;Belala,Nabil;Saidouni,Djamel Eddine:业务流程时间约束的形式化建模与分析(2015)
  12. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  13. Gorrieri,Roberto;Versari,Cristian:并发理论导论。过渡系统和CCS(2015)
  14. Sánchez Terraf,Pedro:Bisimilarity不是Borel(2015年)
  15. Valmari,Antti:LTS运营商与其他LTS运营商的可构建性和不可构建性(2015)
  16. 范格拉贝克,罗布J.;霍夫纳,彼得:中央社:这不公平!即使在进展和某些公平性假设下,公平调度程序也不能用类似CCS的语言实现(2015年)
  17. Boiten,Erke A.:在精炼中引入额外操作(2014)
  18. Derrick,John;Boiten,Erke:关系并发优化。三: 迹,部分关系和自动机(2014)
  19. Su,Li;Gomez,Rodolfo;Bowman,Howard:使用通讯自动机分析神经生物学模型(2014)
  20. Valmari,Antti:熟悉算子的所有线性时间同余(2013)

1 2 ... 6 7 8 下一个