University of Kent Canterbury UK;
University of Kent Canterbury UK University of Cagliari Cagliari Italy;
LASIGE Faculty of Sciences University of Lisbon Lisbon Portugal;
Imperial College London London UK;
Session types; Timers; Duality; π-calculus;
机译:输入异步定时会话类型的紧急语义
机译:输入异步定时会话类型的紧急语义
机译:异步时间敏感网络5G回程
机译:异步定时会话类型从二元性到时间敏感的进程
机译:过程剩余时间信息在动态时间敏感型调度中的应用和效果。
机译:团体加迷你遗传性癌症的个体化验前遗传咨询会缩短提供者的时间并提高患者满意度
机译:卓越的异步会话类型:没有层的会话类型
机译:示波器,647双迹前置放大器,10a2型时基,11B1型(Tektronix)