Safety Interlocking as a Distributed Mutual Exclusion Problem

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00244-2_4 ◽

2018 ◽

pp. 52-66 ◽

Author(s):

Alessandro Fantechi ◽

Anne E. Haxthausen

Keyword(s):

Mutual Exclusion ◽

Exclusion Problem ◽

Distributed Mutual Exclusion

Download Full-text

Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks

2011 IEEE 10th International Symposium on Network Computing and Applications ◽

10.1109/nca.2011.35 ◽

2011 ◽

Author(s):

Paulo Floriano ◽

Alfredo Goldman ◽

Luciana Arantes

Keyword(s):

Mutual Exclusion ◽

Dynamic Networks ◽

Exclusion Problem ◽

Necessary And Sufficient ◽

Distributed Mutual Exclusion

Download Full-text

Efficient solution to the distributed mutual exclusion problem

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing - PODC '89 ◽

10.1145/72981.72994 ◽

1989 ◽

Author(s):

D. Agrawal ◽

A. El Abbadi

Keyword(s):

Efficient Solution ◽

Mutual Exclusion ◽

Exclusion Problem ◽

Distributed Mutual Exclusion

Download Full-text

A solution to the distributed mutual exclusion problem in k-groups

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) ◽

10.1109/cmpsac.1998.716671 ◽

2002 ◽

Author(s):

A. Khiat ◽

M. Naimi

Keyword(s):

Mutual Exclusion ◽

Exclusion Problem ◽

Distributed Mutual Exclusion

Download Full-text

Distributed k-mutual exclusion problem and k-coteries

Lecture Notes in Computer Science - ISA'91 Algorithms ◽

10.1007/3-540-54945-5_45 ◽

1991 ◽

pp. 22-31 ◽

Author(s):

Satoshi Fujita ◽

Masafumi Yamashita ◽

Tadashi Ae

Keyword(s):

Mutual Exclusion ◽

Exclusion Problem

Download Full-text

A hybrid token-based distributed mutual exclusion algorithm using wraparound two-dimensional array logical topology

Information Processing Letters ◽

10.1016/j.ipl.2011.05.021 ◽

2011 ◽

Vol 111 (17) ◽

pp. 841-847 ◽

Author(s):

Hoda Taheri ◽

Peyman Neamatollahi ◽

Mahmoud Naghibzadeh

Keyword(s):

Mutual Exclusion ◽

Two Dimensional ◽

Dimensional Array ◽

Logical Topology ◽

Distributed Mutual Exclusion ◽

Mutual Exclusion Algorithm

Download Full-text

A Hybrid Algorithm to Solve Group Mutual Exclusion Problem in Message passing Distributed Systems

International Journal of Computer Applications ◽

10.5120/11426-6777 ◽

2013 ◽

Vol 67 (9) ◽

pp. 51-59 ◽

Author(s):

Abhishek Swaroop ◽

Awadhesh Kumar Singh

Keyword(s):

Distributed Systems ◽

Message Passing ◽

Hybrid Algorithm ◽

Mutual Exclusion ◽

Exclusion Problem

Download Full-text

Distributed Mutual Exclusion Algorithm with Improved Performance

Proceedings of 2nd International Conference on Communication, Computing and Networking - Lecture Notes in Networks and Systems ◽

10.1007/978-981-13-1217-5_91 ◽

2018 ◽

pp. 933-938

Author(s):

Amit Kumar Maurya ◽

Arvind Kumar ◽

Akhilesh Kumar Mishra ◽

Bharat Kumar ◽

Priyanshu Vishwakarma

Keyword(s):

Mutual Exclusion ◽

Improved Performance ◽

Distributed Mutual Exclusion ◽

Mutual Exclusion Algorithm

Download Full-text

A High Efficiency Distributed Mutual Exclusion Algorithm

Lecture Notes in Computer Science - Advanced Parallel Processing Technologies ◽

10.1007/978-3-540-39425-9_8 ◽

2003 ◽

pp. 75-84

Author(s):

Dan Liu ◽

Xinsong Liu ◽

Zhijie Qiu ◽

Gongjun Yan

Keyword(s):

High Efficiency ◽

Mutual Exclusion ◽

Distributed Mutual Exclusion ◽

Mutual Exclusion Algorithm

Download Full-text

Analysis of Distributed Mutual Exclusion Algorithms

Smart Computing and Informatics - Smart Innovation, Systems and Technologies ◽

10.1007/978-981-10-5547-8_50 ◽

2017 ◽

pp. 487-496

Author(s):

Krishna Rawat ◽

Nabeel Zaidi ◽

Praveen Kumar ◽

Tanupriya Choudhury

Keyword(s):

Mutual Exclusion ◽

Distributed Mutual Exclusion

Download Full-text

A Hierarchical Approach to Handle Group Mutual Exclusion Problem in Distributed Systems

Distributed Computing and Networking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92295-7_56 ◽

2008 ◽

pp. 462-467

Author(s):

Abhishek Swaroop ◽

Awadhesh Kumar Singh

Keyword(s):

Distributed Systems ◽

Mutual Exclusion ◽

Hierarchical Approach ◽

Exclusion Problem

Download Full-text