Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...