搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： N.A. Lynch , M.R. Tuttle
DOI:
关键词:
摘要:
,2013, 引用: 0
Mathematical Foundations of Computer Science 2011,2011, 引用: 25
formal techniques for (networked and) distributed systems,1996, 引用: 26
,2007, 引用: 0
Distributed Programming,2013, 引用: 0
,2011, 引用: 1
,2013, 引用: 5
CLIMA,2005, 引用: 4
,2001, 引用: 10
,2011, 引用: 0
