LTL Is Expressively Complete for Mazurkiewicz Traces

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

Computing, Computer Science, Formal Methods +12

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

P. S. Thiagarajan, Igor Walukiewicz · Information and Computation · 2002 · 90 citations

Humanities, Computer Science, Mathematics +17

Model-checking of causality properties

Rajeev Alur, Doron Peled, Wojciech Penczek · 2002 · 89 citations

Computing, Computer Science, Algorithms +8

A trace based extension of linear time temporal logic

P. S. Thiagarajan · 2002 · 80 citations

Computing, Computer Science, Formal Methods +16