- Tytuł:
-
Towards partial order reductions for fragments of alternating-time temporal logic
O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego - Autorzy:
-
Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W. - Data publikacji:
- 2016
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł