Rural Marketing as a separate discipline in management teaching has emerged recently. The growing importance of the subject has been well realized by the marketers, policymakers and management interns. However, there is dearth of quality literature on the subject, comprehensive coverage of all...

This paper describes an approach to the modeling of distributed systems using Dijkstra's Weakest Precondition (WP) method. WP is a general purpose formal method based on standard predicate logic. The distributed algorithm for mutual exclusion in computer networks proposed by Ricart and Agrawala,...