Zhou Chaochen

发表

A Duration Calculus with Innnite Intervals a Duration Calculus with Innnite Intervals

Zhou Chaochen, D. Hung, L. Xiaoshan, 2007 .

Probabilistic Duration Calculus for Continuous Time Probabilistic Duration Calculus for Continuous Time

Zhou Chaochen, D. Hung, 1994 .

A mean value calculus of durations

Zhou Chaochen, L. Xiaoshan, 1994 .

A Higher-Order Duration Calculus

Naijun Zhan, Dimitar P. Guelev, Zhou Chaochen, 1999 .

Formal Speciication of Stability in Hy- Brid Control Systems Formal Speciication of Stability in Hy- Brid Control Systems Contents 1 Introduction 1 2 Extended Duration Calculus with Innnite Intervals 2 3 Analysis of Stability in Hybrid Systems 4

Zhou Chaochen, Wang Ji, He Weidong, 1995 .

Compositional Reasoning Using the Assumption{commitment Paradigm Compositional Reasoning Using the Assumption{commitment Paradigm

Xu Qiwen, Zhou Chaochen, M. Swarup, 1998 .

An Adequate First Order Logic of Intervals

Amir Pnueli, Zhou Chaochen, Hans Langmaack, 1998 .

Weakest environment of communicating processes

Zhou Chaochen, 1899, AFIPS '82.

Chopping a point

Michael R. Hansen, Zhou Chaochen, Zhou Chaochen, 1996 .

Neighbourhood Logics : NL and NL

Rana Barua, Zhou Chaochen, R. Barua, 1997 .

Duration Calculus: A Formal Approach to Real-Time Systems

Zhou Chaochen, Zhou Chaochen, 2004 .

Duration Calculi: An overview

Zhou Chaochen, Zhou Chaochen, Chaochen Zhou, 1993 .

A Real-Time Duration Semantics for Circuits

Michael R. Hansen, Zhou Chaochen, Jørgen Staunstrup, 1992 .