In this paper, we formalize the Menger probabilistic normed space as a category in which its objects are the Menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. Then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. So, we can easily apply the results of topological vector spaces...

It is often useful to introduce probabilistic behavior in programs, either because of the use of internal random generators (probabilistic algorithms), either because of some external devices (networks, physical sensors) with known statistics of behavior. Previous works on probabilistic abstract interpretation have addressed safety properties, but somehow neglected probabilistic termination. In...

in this paper, we formalize the menger probabilistic normed space as a category in which its objects are the menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. so, we can easily apply the results of topological vector spaces...

We have developed a probabilistic algorithm for improved error recovery in a system of concurrent processes. Simulations for various lengths of checkpoint intervals have shown that in most cases the probabilistic method is more cost effective than the iterative rollback method. However, implementation of the probabilistic algorithm requires knowledge of the distribution function of the latency ...