کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426966 | 686385 | 2006 | 44 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures](/preview/png/426966.png)
چکیده انگلیسی
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite, that extend confusion-free event structure. In locally finite event structures, maximal configurations can be tiled with branching cells: branching cells are minimal and finite sub-structures capturing the choices performed while scanning a maximal configuration. The probabilistic event structures that we introduce have the property that “concurrent processes are independent in the probabilistic sense.”
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 204, Issue 2, February 2006, Pages 231-274
Journal: Information and Computation - Volume 204, Issue 2, February 2006, Pages 231-274