Supported by the Science and Technology Plan of Hubei Province (2002S4108)
The UniNet specification of Dining Philosopher Problem we presents not only is graphic and intuitionistic but also explicitly indicates the In the specification, static semantics and the the static properties are dyna...