1 citations · 1 across the 3 of their papers we have counts for
3 papers
astro-ph.SR2022★ 1 cited
Linear change and minutes variability of solar wind velocity revealed by FAST
Li-Jia Liu, Bo Peng, Lei Yu +6
Observation of Interplanetary Scintillation (IPS) provides an important and effective way to study the solar wind and the space weather. A series of IPS observations were conducted…
cs.PL2016
Propositions in Linear Multirole Logic as Multiparty Session Types
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL). Among various meta-prope…
cs.PL2012
A Programmer-Centric Approach to Program Verification in ATS
Zhiqiang Ren, Hongwei Xi
Formal specification is widely employed in the construction of high-quality software. However, there is often a huge gap between formal specification and actual implementation. Whi…