On the Complexity of Verification of Time-Sensitive Distributed Systems.
Protocols, Strands, and Logic(2021)
关键词
Multiset rewriting, Time-sensitive distributed systems, Complexity
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
Protocols, Strands, and Logic(2021)