کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
432109 1441296 2006 24 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Interpretability of first-order linear temporal logics in fork algebras
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Interpretability of first-order linear temporal logics in fork algebras
چکیده انگلیسی

In this paper we prove theorems on the interpretability of the first-order temporal logics LTL and TL into Fork Algebras. This result is part of a research project on the interpretability of logics in Fork Algebras, and has important applications towards the relational specification of properties of systems within the Argentum tool.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 66, Issue 2, February–March 2006, Pages 161-184