A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks

Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-95582-7_36 ◽

2018 ◽

pp. 608-624 ◽

Author(s):

Cosimo Laneve

Keyword(s):

Deadlock Analysis

Download Full-text

Petri-net-based deadlock analysis of Process Algebra programs

Science of Computer Programming ◽

10.1016/0167-6423(94)00011-5 ◽

1994 ◽

Vol 23 (1) ◽

pp. 55-89 ◽

Author(s):

P. Rondogiannis ◽

M.H.M. Cheng

Keyword(s):

Petri Net ◽

Process Algebra ◽

Deadlock Analysis

Download Full-text

Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking

The Computer Journal ◽

10.1093/comjnl/bxw099 ◽

2016 ◽

Author(s):

Wiktor B. Daszczuk

Keyword(s):

Model Checking ◽

Deadlock Analysis

Download Full-text

On the deadlock analysis of multithreaded control software

ETFA2011 ◽

10.1109/etfa.2011.6059039 ◽

2011 ◽

Author(s):

Juan-Pablo Lopez-Grao ◽

Jose-Manuel Colom

Keyword(s):

Control Software ◽

Deadlock Analysis

Download Full-text

Deadlock analysis of synchronous message-passing programs

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1999.779739 ◽

1999 ◽

Author(s):

Zhou ◽

Kuo-Chung Tai

Keyword(s):

Message Passing ◽

Deadlock Analysis ◽

Message Passing Programs

Download Full-text

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

Lecture Notes in Computer Science - FM 2014: Formal Methods ◽

10.1007/978-3-319-06410-9_5 ◽

2014 ◽

pp. 62-77 ◽

Author(s):

Pedro Antonino ◽

Augusto Sampaio ◽

Jim Woodcock

Keyword(s):

Deadlock Analysis

Download Full-text

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2009.27 ◽

2009 ◽

Author(s):

Jieqi Ding ◽

Han Zhu ◽

Huibiao Zhu ◽

Qin Li

Keyword(s):

Web Resources ◽

Deadlock Analysis

Download Full-text

Deadlock analysis in minimal adaptive routing algorithms using Petri Nets

2010 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2010.5641904 ◽

2010 ◽

Author(s):

Carlos A. Rovetto ◽

Elia E. Cano ◽

Jose-Manuel Colom

Keyword(s):

Adaptive Routing ◽

Routing Algorithms ◽

Deadlock Analysis

Download Full-text

Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures

10.1109/cbi52690.2021.00015 ◽

2021 ◽

Author(s):

Elina Unruh ◽

Patrick Delfmann ◽

Matthias Thimm

Keyword(s):

Deadlock Analysis

Download Full-text

Deadlock Analysis and Resolution for Multi-robot Systems

Algorithmic Foundations of Robotics XIV - Springer Proceedings in Advanced Robotics ◽

10.1007/978-3-030-66723-8_18 ◽

2021 ◽

pp. 294-312

Author(s):

Jaskaran Singh Grover ◽

Changliu Liu ◽

Katia Sycara

Keyword(s):

Deadlock Analysis ◽

Robot Systems ◽

Download Full-text

Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency

Communications in Computer and Information Science - Advances in Service-Oriented and Cloud Computing ◽

10.1007/978-3-319-72125-5_20 ◽

2018 ◽

pp. 247-259

Author(s):

Mandy Weißbach

Keyword(s):

Deadlock Analysis ◽

Service Oriented

Download Full-text