Information security; Programming languages; Probability; Computer programs; Syntax; Computer program reliability; Scheduling; Variables; Data processing security; Symposia; Semantics;
机译:基于语言的并发非干扰的形式验证
机译:基于语言的并发非干扰的形式验证
机译:改进了键入,以确保多线程语言中的概率互不干扰
机译:并发语言中的概率无干扰
机译:不干扰表达性低级语言。
机译:从封面开始:使用声音变化的概率模型自动重建古代语言
机译:并发语言中的概率非干扰