communications; roles; multiparty; session types; mobile processes; dynamic protocols; join-leave; peer-to-peer; auction.;
机译:动态多角色会话类型
机译:用于多角色金属有机框架的动态垫片安装:实现超高甲烷存储工作能力的多功能MOF的新方向
机译:本地静态,全局动态的活动对象类型
机译:动态多角色会话类型
机译:使用不同类型任务中搜索会话中的交互行为来个性化信息检索。
机译:全脑模拟静息状态活动揭示了整个会话期间大脑中可靠的局部动力学
机译:动态多角色会话类型