机译:迈向E-LOTOS弱测序
Jozef Stefan Institute, POB 3000, SI-1001 Ljubljana, Slovenia;
Concurrent systems; Formal specification techniques; Basic E-LOTOS; Weak sequencing;
机译:可逆增强事件结构:转向可逆E-LOTOS
机译:具有真正并发的E-lotos的动作优化运算符
机译:增强的事件结构:实现E-LOTOS的真正并发语义
机译:从纹理E-LOTOS到图形E-LOTOS的自动翻译
机译:用于超弱荧光检测的单光子计数:系统设计,表征和在DNA测序中的应用。
机译:基因组测序和对比基因组分析高度弱侵蚀菌株
机译:E-LOTOS处理代数中的多媒体