Pure future local temporal logics are expressively complete for Mazurkiewicz traces

On the temporal analysis of fairness

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

Applied Logic, Additional Temporal Operator, Engineering +21

On finite monoids having only trivial subgroups

M. P. Schützenberger · Information and Control · 1965 · 616 citations

Group Structure, Nilpotent Group, Trivial Subgroups +1

Concurrent Program Schemes and their Interpretations

Antoni Mazurkiewicz · DAIMI Report Series · 1977 · 567 citations · Full text

Engineering, Concurrent Program Schemes, Verification +18

First-order logic and star-free sets

Dominique Perrin, Jean-Éric Pin · Journal of Computer and System Sciences · 1986 · 125 citations

Engineering, Automated Reasoning, Formal Methods +3

Star-free regular sets of ω-sequences

Wolfgang Thomas · Information and Control · 1979 · 95 citations

Star-free Regular Sets, Extremal Set Theory, Set-theoretic Topology