A state transition rule is viewed as a cause and effect relationship. An example is selected
from the common sense world. Six different instances of this relationship are enumerated. A …

Contributing to existing literature on ethnic studies in China, this book is a study of minority
subjective experiences in China, using Uyghur Muslims as a case study. By examining …

There are systems where alternative constructs need to be used for its description. In
weakest precondition calculus disjunction of the post conditions of constituent guarded …

A weakest precondition based modelling and verification technique for a class of concurrent
systems is proposed. A system in this class is defined by a set of non-terminating interactive …

Weakest precondition based method for specification and verification of geographically
distributed system is described. For this purpose spatial predicates have been defined. A …

Many different fairness notions are available in literature. One should choose the proper
definition that match with the system under consideration. In this paper we consider two …

Safety and liveness are properties of a formal model that ensure the correct and continuous
progress of the model. The aim of this paper is to present a formal modelling and proof of …