A decidable temporal logic of parallelism

Research output: Contribution to journalArticle

32 Citations (Scopus)
Original languageEnglish
Pages (from-to)419-436
JournalNotre Dame Journal of Formal Logic
Publication statusPublished - 1997

Cite this