Jabarkan Logik dari Keserentakan (sains komputer) dalam bahasa melayu

Berbagai-bagai jenis logik masa boleh digunakan untuk membantu pertimbangan tentang sistem-sistem serentak. Sesetengah logik itu, seperti logik masa linear dan logik pokok pengiraan, membenarkan kenyataan dibuat tentang urutan-urutan keadaan yang dialami oleh sebuah sistem serentak. Yang lain seperti logik masa tindakan oleh Lamport, logik Hennessy-Milner, dan logik pokok pengiraan tindakan mendasarkan kenyataan-kenyataannya pada jujukan-jujukan tindakan (perubahan dalam keadaan). Kegunaan utama kesemua logik ini adalah untuk menulis spesifikasi-spesifikasi sistem serentak.