Ordering of events in two-process concurrent system-Reference-Cited by-同舟云学术

Ordering of events in two-process concurrent system

Published:2007-07 Issue:4 Volume:32 Page:1
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Banerjee Jayasri¹,Bandyopadhyay Anup Kumar¹,Mandal Ajit Kumar¹

Affiliation:

1. Jadavpur University, Kolkata, India

Abstract

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 describe necessary conditions. A new logical connective, viz., "implies in the past" is also defined to describe the cause and effect relationships. Ordering mechanism used in Peterson's two process mutual exclusion algorithm is explained by proving a theorem.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1281421.1281423

Reference12 articles.

1. Jayadev Misra "A family of 2-process mutual exclusion algorithms Notes on UNITY: 13--90 http://www.cs.utexas.edu/users/psp/unity/notes/13--90.pdf. March 7 1994. Jayadev Misra "A family of 2-process mutual exclusion algorithms Notes on UNITY: 13--90 http://www.cs.utexas.edu/users/psp/unity/notes/13--90.pdf. March 7 1994.

2. Myths about the mutual exclusion problem

3. Arbitration without common modifiable variables;Kessels J. L. W.;Acta Informatic

4. M. Ben-Ari "Mathematical Logic For Computer Science" Prentice Hall International (UK) Ltd. 1993 M. Ben-Ari "Mathematical Logic For Computer Science" Prentice Hall International (UK) Ltd. 1993

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Spatial ordering of messages in a cyclic architecture;ACM SIGSOFT Software Engineering Notes;2010-11-27

2. Specifying Fault-Tolerance Using Split Precondition Logic;Distributed Computing and Networking;2010

3. Weakest precondition based verification tool that models spatial ordering;ACM SIGSOFT Software Engineering Notes;2008-03

4. On the correctness issues in two-process mutual exclusion algorithms;ACM SIGSOFT Software Engineering Notes;2007-11