We presented the concept,definition of Ambient calculus(frame),proposed the construction method and transformation functions and developed a code running operating semantics based on the frame structure.

The analysis of discrete-time queueing system with batch arrival;

On the observability of discrete-time fuzzy-state control systems;

A discrete-time warm-fund maintainable system composed of two types of components with priority

Dynamic measurable disturbance decoupling for discrete time singular nonlinear systems;

Analyzes a model of wireless mult services communication system with gated service in discrete time.

By taking into consideration the discrete time renewal risk model under constant interest rate,this paper obtained recursive algorithm finite-time non-ruin probability,and infinite-time non-ruin probability and its upper bound.

To extend the capacity of π calculus in modeling and analyzing time-related properties of a system,a well-timed π calculus with durational actions and busy-waiting interaction mechanism,namely T-π calculus,was proposed based on the characteristics of re-entrant production line system.

Assessment of chronodispersion of F waves in patients with spinal cord injury;