Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus-Reference-Cited by-同舟云学术

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

Published:2007-05 Issue:5 Volume:42 Page:10-15
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

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

Affiliation:

1. Jadavpur University, Kolkata, India

Abstract

Weakest precondition calculus is used to specify a system implemented by a cyclic interconnection of sequential processes. From this specification a predicate is derived that describes the deadlock freedom property of the system. Invariance of the predicate is proved from the specification.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

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

Reference7 articles.

1. W. Dijkstra "A Discipline of Programming" Prentice Hall 1976. W. Dijkstra "A Discipline of Programming" Prentice Hall 1976.

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

3. Awadhesh Kumar Singh and Anup Kumar Bandyopadhyay "Adding the Leads-to Operator to Dijkstra's Calculus" ACM SIGPLAN Notices Vol.39 No.2 February 2004 DOI: 10.1145/967278.967282 pp 12--17. 10.1145/967278.967282 10.1145/967278.967282 Awadhesh Kumar Singh and Anup Kumar Bandyopadhyay "Adding the Leads-to Operator to Dijkstra's Calculus" ACM SIGPLAN Notices Vol.39 No.2 February 2004 DOI: 10.1145/967278.967282 pp 12--17. 10.1145/967278.967282

4. A deadlock-free communication kernel for loop connected message passing computer architecture

5. A deadlock-free communication kernel for loop architecture

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

1. Fairness and conspiracy concepts in concurrent systems;ACM SIGSOFT Software Engineering Notes;2009-02-28