جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
A fully abstract semantics for value-passing CCS for trees
نویسنده:
سال انتشار: p2019
تعداد صفحات: 22
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود

10.1007/s11704-018-7069-1

Abstract --- We propose a fully abstract semantics for value-passing CCS for trees (VCCTS) with the feature that processes are located at the vertices of a graph whose edges describe possible interaction capabilities. The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. We develop a theory of behavioral equivalences by introducing both weak barbed congruence and weak bisimilarity. In particular, we show that, on image-finite processes, weak barbed congruence coincides with weak bisimilarity. To illustrate potential applications and the powerful expressiveness of VCCTS, we formally compare VCCTS with some well-known models, e.g., dynamic pushdown networks, top-down tree automata and value-passing CCS


دانلود مقاله معناشناسی کاملا انتزاعی برای CCS ارزش گذار برای درختان , دانلود مقاله , معناشناسی کاملا انتزاعی برای CCS ارزش گذار برای درختان , A fully abstract semantics for value, passing CCS for trees
مقالات علمی

نام و نام خانوادگی:
متن:
تصویر:

نظرات و پیشنهادات

عضویت در سایت

پشتیبانی آنلاین

نام و نام خانوادگی:
پست الکترونیک:
متن:

نام کاربری:
کلمه عبور:
کلمه عبور را بخاطر بسپار
کلمه عبور خود را فراموش کرده ام
عضویت در سایت

نام و نام خانوادگی:
پست الکترونیک:
شماره موبایل:
گفتگو با:


کتاب دانلود : دانلود کتاب های علمی و دانشگاهی روز دنیا. هرگونه کپی برداری از محتوا، قالب، و طرح های به کار رفته در این سایت شرعا و قانونا ممنوع می باشد، و پیگرد قانونی دارد.