Zhihang Sun - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Mon 7 Feb 2022

Name:Zhihang Sun

Country:China

Affiliation:Tsinghua University

Contributions

2026

FM

A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning

Show activities from other conferences

FM 2026-profile
View general profile