洛托斯

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