Ordering of events in two-process concurrent system

J Banerjee, AK Bandyopadhyay… - ACM SIGSOFT Software …, 2007 - dl.acm.org
Dijkstra's weakest precondition calculus is extended to capture temporal ordering in
concurrent systems. This is done by defining temporal ordering predicates that is used to …
被引用次数：8 相关文章
[PDF] researchgate.net

[PDF][PDF] Ordering of Events in Two-Process Concurrent System

J Banerjee, AK Bandyopadhyay, AK Mandal - researchgate.net
Dijkstra's weakest precondition calculus is extended to capture temporal ordering in
concurrent systems. This is done by defining temporal ordering predicates that is used to …