A Computer-Aided Geometric Approach to Inverse Kinematics (2007)
Fu Hongguang, Yang Lu, Zhou Chaochen
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
Completeness of Neighbourhood Logic (1999)
Barua, Rana, Roy, Suman, Chaochen, Zhou
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the specification of...
Completeness of Neighbourhood Logic (1999)
Barua, Rana, Roy, Suman, Chaochen, Zhou
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the specification of...
A Higher-Order Duration Calculus (1999)
Zhou Chaochen, Dimitar P. Guelev, Zhan Naijun
People's Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing two-thirds of the endownment fund, the Macau authorities also supply UNU/IIST with...
A Higher-Order Duration Calculus (1999)
Zhan Naijun, Zhou Chaochen, Zhou Chaochen, Dimitar P. Guelev, Dimitar P. Guelev
In 1991, Zhou Chaochen, C.A.R. Hoare and A.P. Ravn proposed a first order interval logic called Duration Calculus (DC) which can specify real-time requirements of computing system. This paper...
An Adequate First Order Interval Logic (1998)
Zhou Chaochen, Michael R. Hansen
research, and, through the above, (iv) use of as sophisticated software as reasonable. UNU/IIST contributes through: (a) advanced, joint industry-university advanced development projects in which...
Rana Barua, Suman Roy, Zhou Chaochen
Abstract. This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the specification...
research, and, through the above, (iv) use of as sophisticated software as reasonable. UNU/IIST contributes through: (a) advanced, joint industry-university advanced development projects in which...
Neighbourhood Logics: NL and NL² (1997)
In 1996, Zhou Chaochen and Michael Hansen proposed a first order interval logic called Neighbourhood Logic (NL) which can specify liveness and fairness of computing systems and also define notions of...
An Adequate First Order Interval Logic (1996)
Zhou Chaochen, Michael R. Hansen
The paper uses left and right neighbourhoods as primitive interval modalities to define other unary and binary modalities of intervals in a first order logic with interval length. A complete first...
A Duration Calculus with Infinite Intervals (1995)
Zhou Chaochen, Dang Van Hung, Li Xiaoshan
Abstract. This paper introduces infinite intervals into the Duration Calculus [32]. The extended calculus defines a state duration over an infinite interval by a property which specifies the limit of...
A Duration Calculus with Infinite Intervals (1995)
Zhou Chaochen, Dang Van Hung, Li Xiaoshan
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
A Duration Calculus with Infinite Intervals (1995)
Zhou Chaochen, Dang Van Hung, Li Xiaoshan
. This paper introduces infinite intervals into the Duration Calculus [32]. The extended calculus defines a state duration over an infinite interval by a property which specifies the limit of the...
Probabilistic duration calculus for continuous time (1994)
Abstract. This paper deals with dependability of imperfect implementations concerning given requirements. The requirements are assumed to be written as formulas in Duration Calculus. Implementations...
Probabilistic duration calculus for continuous time (1994)
China and Portugal through contribution to the UNU Endowment Fund. The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST...