Department of Computer Science, Royal Holloway, University of London, Egham, Surrey, TW20 0EX, UK;
B-Method; CSP; composing specifications; combining formalisms; concurrency;
机译:结构化共享内存通信的可组合规范
机译:机器对机器通信的能源效率:不同的M2M通信规范的含义
机译:ETSI发布用于机器对机器通信的嵌入式通信模块的新规范
机译:结构化共享内存通信的可组合规范
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:肿瘤细胞与微环境的交流之声–由萨尔茨堡癌症研究中心的癌症网络
机译:使用通信编写规格。
机译:走向可组合硬件不可知通信阻碍了经验教训。