The probability of non-confluent systems
نویسندگان
چکیده
We show how to provide a structure of probability space to the set of execution traces on a nonconfluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a probabilistic one. We use as example λ+, a recently introduced calculus defined through type isomorphisms.
منابع مشابه
A Multiprocessor System with Non-Preemptive Earliest-Deadline-First Scheduling Policy: A Performability Study
This paper introduces an analytical method for approximating the performability of a firm realtime system modeled by a multi-server queue. The service discipline in the queue is earliestdeadline- first (EDF), which is an optimal scheduling algorithm. Real-time jobs with exponentially distributed relative deadlines arrive according to a Poisson process. All jobs have deadlines until the end of s...
متن کاملWhich of Simplified Acute Physiology Score-III or Mortality Probability Model-III scoring systems in prediction of mortality of non-traumatic patients is superior?
Background & Aims: Different scoring systems are used in order to assess the functional quality of intensive care units (ICU) and to predict the required costs and facilities of intensive cares. Variety of scoring systems has been explained that each has advantages and disadvantages. In this study Simplified Acute Physiology Score-III (SAPS-III) and Mortality Probability Model-III (MPM-III) wer...
متن کاملUltimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts
The aim of this paper is to study the power of parallel multiset-rewriting systems with permitting or forbidding context (or P systems with non-cooperative rules with promoters or inhibitors). The main results obtained say that if we use promoters or inhibitors of weight two, then the systems are computational universal. Moreover, both constructions satisfy a special property we define: they ar...
متن کاملWeakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
This paper shows that weakly-non-overlapping, non-collapsing and shallow term rewriting systems are confluent, which is a new sufficient condition on confluence for non-left-linear systems.
متن کاملConfluent and reticulate papillomatosis: response to topical terbinafine and oral fluconazole; a case report
Confluent and Reticulate Papillomatosis (CRP) is a rare disease withpoorly recognized etiology. Various agents such as antibacterial,topical/systemic antifungal and topical/oral retinoids have beenused as treatment. Here, we report a 15-year-old female withCRP in whom yeasts of Malassezia were found in the PAS stainof the skin lesions. Topical terbinafine hydrochloride 1% sprayand oral fluconaz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013