Abstract
Let M and N be two communicating finite state machines which exchange one type of message. We develope a polynomial algorithm to detect whether or not M and N can reach a deadlock. The time complexity of the algorithm is O(m^{3}n^{3} and its space is O(mn) where m and n are the numbers of states in M and N , respectively. The algorithm can also be used to verify that two communicating machines which exchange many types of messages are deadlock-free.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.