机译:关于异步会话亚型的解辨率与不可剥离性的边界
Univ Bologna Dept Comp Sci &
Engn INRIA FOCUS Bologna Italy;
IT Univ Copenhagen Dept Comp Sci Copenhagen Denmark;
Univ Bologna Dept Comp Sci &
Engn INRIA FOCUS Bologna Italy;
Session types; Asynchronous subtyping; Undecidability;
机译:关于异步会话亚型的解辨率与不可剥离性的边界
机译:异步会话亚型的声音算法及其实现
机译:异步会话亚型作为通信自动机细化
机译:关于异步会话子类型的不确定性
机译:在线学习:异步课程中同步讨论会话的影响
机译:动物和人类中元认知的不确定性和不透明性
机译:异步子类型的可判断和不可判定的碎片 会话类型