J. Misra
-
The temporal logic of actions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fairness and hyperfairness
Distributed Computing