On the derivation of a correct deadlock free communication kernel for loop connected message passing architecture from its user's specification

Adding the leads-to operator to Dijkstra's calculus

ACM SIGPLAN Notices

Ordering of events in two-process concurrent system

ACM SIGSOFT Software Engineering Notes

Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem

ACM SIGSOFT Software Engineering Notes

Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus

ACM SIGPLAN Notices

On the correctness issues in two-process mutual exclusion algorithms

ACM SIGSOFT Software Engineering Notes

Modeling fairness and starvation in concurrent systems

ACM SIGSOFT Software Engineering Notes

Weakest precondition based verification tool that models spatial ordering

ACM SIGSOFT Software Engineering Notes

Fairness and conspiracy concepts in concurrent systems

ACM SIGSOFT Software Engineering Notes

Weakest precondition based modelling and verification of a class of concurrent systems

International Journal of Artificial Intelligence and Soft Computing