The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specii-cations and in veriication to reduce irrelevant branching structure of a process.

Strategic planning, product design and marketing decisions often require a thorough understandinq of consumers' preferences and choice behaviors. This paper describes the use of the Analytic Hierarchy Process (AHP) for eliciting preferences by questionnaire. Using AHP, consumers can comfortably provide quantitative measures of numerous, diverse and intangible influences on their choices. The pr...

This paper assesses the role of advertising in the demand of a differenciated and infrequently purchased good market. Advertising enters directly in the demand as goodwill stock with decreasing returns. Demand is specified and estimated in a discrete choice model approach, which allows us to compute the predatory and spillover effects of advertising and different sensibilities to advertising ac...

We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditions, it becomes easy to model preferential choices. A preferential choice of a process is a choice whereby certain alternatives are excluded if at least one of the other alternatives is permitted by the context in whi...

Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address problem of representing strand space model protocols, particularly as it is used Maude-NPA analysis tool. To achieve goal, develop and give formal semantics process algebra for that supports rich taxonomy primitive...