A difference preorder is a (possibly incomplete) preorder on a space of state changes (rather than the states themselves); it encodes information about preference intensity, in addition to ordinal preferences. We find necessary and sufficient conditions for a difference preorder to be representable by a family of cardinal utility functions which take values in linearly ordered abelian groups. T...

We consider the problem of simulation preorder/equivalence between infinitestate processes and finite-state ones. First, we describe a general method how to utilize the decidability of bisimulation problems to solve (certain instances of) the corresponding simulation problems. For certain process classes, the method allows to design effective reductions of simulation problems to their bisimulat...

A random preorder on n elements consists of linearly ordered equivalence classes called blocks. We investigate the block structure of a preorder chosen uniformly at random from all preorders on n elements as n→ ∞.

More than a decade ago, Moller and Tofts published their seminal work on relating processes, which are annotated with lower time bounds, with respect to speed. Their paper has left open many questions regarding the semantic theory for the suggested bisimulation– based faster–than preorder, the MT–preorder, which have not been addressed since. The encountered difficulties concern a general compo...

Many approaches to overcoming the problem of high space requirements in model checking are based on the simulation preorder. This preorder relates the system model to some reduced model, provided that the reduced model contains all the behaviors of the system model. Reduction techniques often add unrealistic behaviors to the reduced model. Fairness constraints can then be added to exclude these...

T paper studies the preorder strategy that a seller may use to sell a perishable product in an uncertain market with heterogeneous consumers. By accepting preorders, the seller is able to obtain advance demand information for inventory planning and price discriminate the consumers. Given the preorder option, the consumers react strategically by optimizing the timing of purchase. We find that ac...

Ranking interval-valued fuzzy soft sets is an increasingly important research issue in decision making, and provides support for makers order to select the optimal alternative under uncertain environment. Currently, there are three set-based decision-making algorithms literature. However, these not able overcome of comparable alternatives and, fact, might be ignored due lack a comprehensive pri...

We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like process calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely simulation and labeled transition systems. This result establishes a connection...