کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6874865 | 1441445 | 2018 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
To every manifest domain a CSP expression - a rôle for mereology in computer science
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
We give an abstract model1 of parts and part-hood relations, of StanisÅaw LeÅniewski's mereology[2]. Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems, etc. We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes[3], that is: a λ-expression.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 94, January 2018, Pages 91-108
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 94, January 2018, Pages 91-108
نویسندگان
Dines Bjørner,