15 citations · 17 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2003★ 2 cited
A Development Calculus for Specifications
Wei Li
A first order inference system, called R-calculus, is defined to develop the specifications. It is used to eliminate the laws which is not consistent with the user's requirements.…
cs.LO2001
A Logical Framework for Convergent Infinite Computations
Wei Li, Shilong Ma, Yuefei Sui +1
Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computat…