introduction: the success of a health system depends on the accessibility and the quality of health services it provides. one major indicator of service quality is peoples satisfaction from the service. in this article, healthcare availability and satisfaction of people in 17th zone of tehran is investigated. methods: population research center has performed a survey in 17th zone of tehran to i...

The success of applying model-checking to large systems depends crucially on the choice of good abstractions. In this work we present an approach for constructing abstractions when checking Nextfree universal CTL properties. It is known that functional abstractions are safe and that Next-free universal CTL is insensitive to finite stuttering. We exploit these results by introducing a safe Next-...

This article offers a dynamic model of opaque over-the-counter markets. A seller searches for an attractive price by visiting multiple buyers, one at a time. The buyers do not observe contacts, quotes, or trades elsewhere in the market. A repeat contact with a buyer reveals the seller’s reduced outside options and worsens the price offered by the revisited buyer. When the asset value is uncerta...