Complete assertional proof rules for progress under weak and strong fairness

Wim H. Hesselink. Complete assertional proof rules for progress under weak and strong fairness. Science of Computer Programming, 78(9):1521-1537, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.