Titlebook: Algebraic Methodology and Software Technology; 6th International Co Michael Johnson Conference proceedings 1997 Springer-Verlag Berlin Heid

spinal-stenosis

cliche

Zhenlin Xu,Zhengyang Shen,Marc Niethammeravailable within Circal, a process algebra that permits a natural representation of time without any . extension. The methodology is illustrated through several examples in the area of communication protocols and asynchronous hardware.

Precursor

Siqi Bao,Pei Wang,Albert C. S. Chungon of ACTL. The algorithm for model checking formulae in this logic over finite state timed transition systems is provided. We consider processes that have infinite models due to the increase of the value of the clock and show how to reduce the verification problem over the infinite models to the one over their compact finite representations.

严厉批评

Definitive

笼子

expository

Specification of timing constraints within the circal process algebra,available within Circal, a process algebra that permits a natural representation of time without any . extension. The methodology is illustrated through several examples in the area of communication protocols and asynchronous hardware.

defeatist

On the specification and verification of performance properties for a timed process algebra,on of ACTL. The algorithm for model checking formulae in this logic over finite state timed transition systems is provided. We consider processes that have infinite models due to the increase of the value of the clock and show how to reduce the verification problem over the infinite models to the one over their compact finite representations.

nuclear-tests

厌食症