Modeling fairness and starvation in concurrent systems

AK Bandyopadhyay - ACM SIGSOFT Software Engineering Notes, 2007 - dl.acm.org
Standard temporal logic is augmented and a new temporal quantifier viz., never is defined.
This augmented logic is integrated in Dijkstra's weakest precondition calculus. Definitions for …
被引用次数：9 相关文章
[PDF] researchgate.net

[PDF][PDF] Modeling Fairness and Starvation in Concurrent Systems

AK Bandyopadhyay - researchgate.net
Standard temporal logic is augmented and a new temporal quantifier viz., never is defined.
This augmented logic is integrated in Dijkstra's weakest precondition calculus. Definitions for …
[PDF] academia.edu

[PDF][PDF] Modeling Fairness and Starvation in Concurrent Systems

AK Bandyopadhyay - academia.edu
Standard temporal logic is augmented and a new temporal quantifier viz., never is defined.
This augmented logic is integrated in Dijkstra's weakest precondition calculus. Definitions for …