Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Propositional Temporal Linear Logic and Its Application to Concurrent Systems Logik Linear Temporal Proposisi dan Aplikasinya pada Sistem Serentak

Takaharu HIRAI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Dalam sains komputer, konsep sumber seperti penggunaan data dan daripada masa seperti masa pelaksanaan adalah sangat penting. Sistem logik yang boleh merawatnya telah digunakan dalam bidang itu. Logik linear telah dipanggil logik sedar sumber. Kuasa ekspresif cukup untuk menggambarkan perubahan dinamik dalam persekitaran proses. Walau bagaimanapun, logik linear tidak mencukupi untuk merawat perubahan dinamik dalam persekitaran dengan peredaran masa kerana ia tidak termasuk konsep masa secara langsung. Contoh biasa ialah hubungan antara logik linear dan jaring Petri. Adalah diketahui umum bahawa kebolehcapaian masalah untuk jaring Petri adalah bersamaan dengan kebolehbuktian untuk jujukan logik linear yang sepadan. Tetapi logik linear tidak boleh mewakili secara semula jadi jaring Petri bermasa yang merupakan lanjutan jaring Petri biasa berkenaan dengan konsep masa. Jadi kami melanjutkan logik linear berkenaan dengan konsep masa untuk memperkenalkan a mementingkan sumber and bergantung pada masa sistem logik, iaitu logik linear temporal. Sistem ini mempunyai beberapa operator temporal "" yang bermaksud sumber yang boleh digunakan sekali sahaja pada masa berikutnya, "" yang bermaksud sumber yang boleh digunakan sekali sahaja pada bila-bila masa dan operator storan modal "!" yang bermaksud sumber yang boleh digunakan pada bila-bila masa pada bila-bila masa. Kami boleh menunjukkan bahawa masalah kebolehcapaian untuk jaring Petri bermasa adalah bersamaan dengan kebolehbuktian untuk jujukan yang sepadan Logik linear temporal Dalam makalah ini, kami juga mewakili penerangan model komunikasi segerak oleh logik linear temporal.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2219-2227
Tarikh penerbitan
2000/11/25
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Section on Concurrent Systems Technology)
kategori

Pengarang

Kata kunci

Contents [show]