洛托斯

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


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

显示152个结果中的1到20个。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. 蒋建民;朱惠标;李、秦;赵永新;张石;锣、平;Hong,Zhong:基于事件的功能分解(2020)
  2. Valmari,Antti:所有低于稳定性的一致性保持公平测试或CFFD(2020)
  3. Garavel,Hubert:嵌套单元Petri网(2019)
  4. 查恩·雅克法,拉斐ël;弗拉皮尔,马克;曼玛,阿米尔;芬克尔,阿兰:单调信息系统的参数化验证(2018)
  5. van Glabbeek,Rob J.:异步(\pi)-微积分中同步编码的有效性(2018)
  6. 埃弗拉德,胡格;朗,法国édéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017)
  7. 布雷斯,埃米尔;范格拉贝克,罗伯;Höfner,Peter:无线网络的定时进程代数及其在路由中的应用(扩展摘要)(2016)
  8. 詹森,彼得·吉øl;拉森,金·古德斯兰德;吉隆坡ří: 基于离散化的时间弧Petri网对策实时策略综合(2016)
  9. 范格拉贝克,罗伯;Hö弗纳,彼得;波特曼,马吕斯;Tan,Wee Lum:AODV路由协议的建模和验证(2016)
  10. 维迪米,克里斯;朗,法国édé风险投资委员会;迪玛,加泰林;Mateescu,Radu:使用CADP验证(\mathrmEB^3)规范(2016)
  11. 查玛,艾丁;贝拉拉,纳比勒;Saidouni,Djamel Eddine:业务流程时间约束的形式化建模与分析(2015)
  12. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  13. 戈里里,罗伯托;Versari,Cristian:并发理论导论。过渡系统和CCS(2015)
  14. Sánchez Terraf,Pedro:Bisimilarity不是Borel(2015年)
  15. Valmari,Antti:LTS运营商与其他LTS运营商的可构建性和不可构建性(2015)
  16. 范格拉贝克,罗伯J。;Hö弗纳,彼得:这不公平!即使在进展和某些公平性假设下,公平调度程序也不能用类似CCS的语言实现(2015年)
  17. Boiten,Erke A.:在精炼中引入额外操作(2014)
  18. 德里克,约翰;关系并发优化。三: 迹,部分关系和自动机(2014)
  19. 苏、李;戈麦斯,鲁道夫;鲍曼,霍华德:使用通讯自动机分析神经生物学模型(2014)
  20. Valmari,Antti:熟悉算子的所有线性时间同余(2013)

1 2 ... 6 7 8 下一个