Xiaosong Gu

Identifiers

• name variant Xiaosong Gu 0.60 · backfill

Papers (1)

1. Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction cs.DC · 2022 · author #1

Mentions

• 2202.11385 #1 · arxiv_oai · confidence 0.70 Xiaosong Gu

Frequent Coauthors

• Wei Cao 1 shared papers
• Xiaoxing Ma 1 shared papers
• Xuan Song 1 shared papers
• Yicong Zhu 1 shared papers
• Yu Huang 1 shared papers