In the conditions of market infrastructure for the transformation of medical services, there is an objective need to build effective insurance protection of the population against risks associated with loss of health. Using a systematic approach, the problem of combining compulsory and voluntary health insurance is investigated, a theoretical conceptualization of the concept of “financial mecha...

Let A be a nite von Neumann algebra and p 2 A a projection. It is well known that the map which assigns to a positive normal functional of A its support projection, is not continuous. In this note it is shown that if one restricts to the set of positive normal functionals with support equivalent to a xed p, endowed with the norm topology, and the set of projections of A is considered with the s...

In this paper the object-oriented software testing environment (TOSTER) is presented. This environment supports the state based testing of object programs. TOSTER extracts information from two commercial CASE tools – Paradigm Plus and Select Enterprise and supports test generation for C++ and Java classes. In TOSTER the state vector testing method is used. The state vector method and its implem...

Many cryptographic protocols are designed to achieve their goals using only messages passed over an open network. Numerous tools, based on well-understood foundations, exist for the design and analysis of protocols that rely purely on message passing. However, these tools encounter difficulties when faced with protocols that rely on non-local, mutable state to coordinate several local sessions....

...........................................................................................................................................2