Communicating sequential processes
Communicating sequential processes
Distributed Algorithms
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Fairness and hyperfairness in multi-party interactions
Distributed Computing
Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem
ACM SIGSOFT Software Engineering Notes
Modeling of state transition rules and its application
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Recently modeling of a state transition rule has been proposed using a temporal logic based on observation (TLRO). Theadvantage of such representation lies in the fact that the model is derived from the related cause and effect relation and is expressed as an implication. This structure makes manipulationeasy. Unlike weakest precondition calculus that can only reason backward in time, present model can include both backward and forward temporal reasoning. This is therefore more expressive. In this paper TLRO based modeling is used to derive three different deadlock free solutions for Dining Philosophers problem. All this solutions are proved using this model