Lu, Faming; Tao, Ranran; Du, Yuyue; Zeng, Qingtian; Bao, Yunxia Deadlock detection-oriented unfolding of unbounded Petri nets. (English) Zbl 1451.68192 Inf. Sci. 497, 1-22 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Lu} et al., Inf. Sci. 497, 1--22 (2019; Zbl 1451.68192) Full Text: DOI OpenURL
Khanna, Dhriti; Sharma, Subodh; Rodríguez, César; Purandare, Rahul Dynamic symbolic verification of MPI programs. (English) Zbl 1460.68029 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 466-484 (2018). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{D. Khanna} et al., Lect. Notes Comput. Sci. 10951, 466--484 (2018; Zbl 1460.68029) Full Text: DOI OpenURL
Azadbakht, Keyvan; de Boer, Frank S.; de Vink, Erik Deadlock detection for actor-based coroutines. (English) Zbl 1460.68025 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 39-54 (2018). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. Azadbakht} et al., Lect. Notes Comput. Sci. 10951, 39--54 (2018; Zbl 1460.68025) Full Text: DOI Link OpenURL
Lange, Julien; Ng, Nicholas; Toninho, Bernardo; Yoshida, Nobuko Fencing off Go: liveness and safety for channel-based programming. (English) Zbl 1380.68298 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 748-761 (2017). MSC: 68Q85 68N15 68N30 PDF BibTeX XML Cite \textit{J. Lange} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 748--761 (2017; Zbl 1380.68298) Full Text: DOI arXiv OpenURL
Pun, Ka I; Steffen, Martin; Stolz, Volker Effect-polymorphic behaviour inference for deadlock checking. (English) Zbl 1392.68148 J. Log. Algebr. Methods Program. 85, No. 6, 1234-1267 (2016). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 85, No. 6, 1234--1267 (2016; Zbl 1392.68148) Full Text: DOI OpenURL
Pun, Ka I; Steffen, Martin; Stolz, Volker Deadlock checking by data race detection. (English) Zbl 1371.68199 J. Log. Algebr. Methods Program. 83, No. 5-6, 400-426 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 83, No. 5--6, 400--426 (2014; Zbl 1371.68199) Full Text: DOI OpenURL
de Boer, Frank S.; Grabe, Immo; Steffen, Martin Termination detection for active objects. (English) Zbl 1243.68221 J. Log. Algebr. Program. 81, No. 4, 541-557 (2012). MSC: 68Q85 68N19 68N30 PDF BibTeX XML Cite \textit{F. S. de Boer} et al., J. Log. Algebr. Program. 81, No. 4, 541--557 (2012; Zbl 1243.68221) Full Text: DOI OpenURL
Srinivasan, Selvaraj; Rajaram, R. Message-optimal algorithm for detection and resolution of generalized deadlocks in distributed systems. (English) Zbl 1260.68034 Informatica, Ljubl. 35, No. 4, 489-498 (2011). MSC: 68M14 PDF BibTeX XML Cite \textit{S. Srinivasan} and \textit{R. Rajaram}, Informatica, Ljubl. 35, No. 4, 489--498 (2011; Zbl 1260.68034) OpenURL
Xiao, Xiang; Lee, Jaehwan John A parallel multi-unit resource deadlock detection algorithm with \(O(\log _2(\min (m, n)))\) overall run-time complexity. (English) Zbl 1219.68163 J. Parallel Distrib. Comput. 71, No. 7, 938-954 (2011). MSC: 68W10 68M10 PDF BibTeX XML Cite \textit{X. Xiao} and \textit{J. J. Lee}, J. Parallel Distrib. Comput. 71, No. 7, 938--954 (2011; Zbl 1219.68163) Full Text: DOI OpenURL
Ding, Zuohua Static analysis of concurrent programs using ordinary differential equations. (English) Zbl 1250.68090 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). Lecture Notes in Computer Science 5684, 1-35 (2009). MSC: 68N30 PDF BibTeX XML Cite \textit{Z. Ding}, Lect. Notes Comput. Sci. 5684, 1--35 (2009; Zbl 1250.68090) Full Text: DOI OpenURL
Liao, Mingxue; Fan, Zhihua; He, Xiaoxin Ratio equation group and static deadlock detection in MPI synchronization communication. (Chinese. English summary) Zbl 1199.68051 J. Numer. Methods Comput. Appl. 29, No. 2, 153-160 (2008). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Liao} et al., J. Numer. Methods Comput. Appl. 29, No. 2, 153--160 (2008; Zbl 1199.68051) OpenURL
Atreya, Ranganath; Mittal, Neeraj; Kshemkalyani, Ajay D.; Garg, Vijay K.; Singhal, Mukesh Efficient detection of a locally stable predicate in a distributed system. (English) Zbl 1115.68028 J. Parallel Distrib. Comput. 67, No. 4, 369-385 (2007). MSC: 68M14 PDF BibTeX XML Cite \textit{R. Atreya} et al., J. Parallel Distrib. Comput. 67, No. 4, 369--385 (2007; Zbl 1115.68028) Full Text: DOI Link OpenURL
Lehmann, Matthias; Grunow, Martin; Günther, Hans-Otto Deadlock handling for real-time control of AGVs at automated container terminals. (English) Zbl 1098.90509 OR Spectrum 28, No. 4, 631-657 (2006). MSC: 90B06 PDF BibTeX XML Cite \textit{M. Lehmann} et al., OR Spectrum 28, No. 4, 631--657 (2006; Zbl 1098.90509) Full Text: DOI OpenURL
Chen, Shigang; Ling, Yibei Stochastic analysis of distributed deadlock scheduling. (English) Zbl 1314.68086 Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 265-273 (2005). MSC: 68M20 68M14 68Q17 68W05 68W25 PDF BibTeX XML Cite \textit{S. Chen} and \textit{Y. Ling}, in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 265--273 (2005; Zbl 1314.68086) Full Text: DOI OpenURL
Lee, Soojung; Joo, Kil Hong Efficient detection and resolution of OR deadlocks in distributed systems. (English) Zbl 1101.68009 J. Parallel Distrib. Comput. 65, No. 9, 985-993 (2005). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{S. Lee} and \textit{K. H. Joo}, J. Parallel Distrib. Comput. 65, No. 9, 985--993 (2005; Zbl 1101.68009) Full Text: DOI OpenURL
Luecke, Glenn R.; Zou, Yan; Coyle, James; Hoekstra, Jim; Kraeva, Marina Deadlock detection in MPI programs. (English) Zbl 1008.68532 Concurrency Comput. Pract. Exp. 14, No. 11, 911-932 (2002). MSC: 68U99 68N19 PDF BibTeX XML Cite \textit{G. R. Luecke} et al., Concurrency Comput. Pract. Exp. 14, No. 11, 911--932 (2002; Zbl 1008.68532) Full Text: DOI OpenURL
Khanvilkar, Shashank; Shatz, Sol M. Tool integration for flexible simulation of distributed algorithms. (English) Zbl 0983.68810 Software. Practice & Experience 31, No. 14, 1363-1380 (2001). MSC: 68U99 PDF BibTeX XML Cite \textit{S. Khanvilkar} and \textit{S. M. Shatz}, Softw., Pract. Exper. 31, No. 14, 1363--1380 (2001; Zbl 0983.68810) Full Text: DOI OpenURL
Fajstrup, Lisbeth Loops, ditopology and deadlocks. (English) Zbl 0961.68097 Math. Struct. Comput. Sci. 10, No. 4, 459-480 (2000). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Fajstrup}, Math. Struct. Comput. Sci. 10, No. 4, 459--480 (2000; Zbl 0961.68097) Full Text: DOI OpenURL
Krivokapić, Natalija Control mechanisms in distributed object bases. Synchronization, deadlock detection, migration (Univ. Passau, 1998). (English) Zbl 0989.68032 DISDBIS, Dissertationen zu Datenbanken und Informationssystemen. 54. Amsterdam: IOS Press. St. Augustin: infix, 134 p. (1999). Reviewer: Jaroslav Pokorný (Praha) MSC: 68N25 68-02 PDF BibTeX XML Cite \textit{N. Krivokapić}, Control mechanisms in distributed object bases. Synchronization, deadlock detection, migration (Univ. Passau, 1998). Amsterdam: IOS Press; St. Augustin: infix (1999; Zbl 0989.68032) OpenURL
Romanov, D. S. On the number of minimal tests checking the block circuits of parity functions for closings. (English. Russian original) Zbl 0982.94039 Discrete Math. Appl. 7, No. 6, 573-591 (1997); translation from Diskretn. Mat. 9, No. 4, 32-49 (1997). MSC: 94C12 05A10 PDF BibTeX XML Cite \textit{D. S. Romanov}, Discrete Math. Appl. 7, No. 6, 573--591 (1997; Zbl 0982.94039); translation from Diskretn. Mat. 9, No. 4, 32--49 (1997) Full Text: DOI OpenURL
Deuermeyer, Bryan L.; Curry, Guy L.; Duchowski, Andrew T.; Venkatesh, Srilakshmi An automatic approach to deadlock detection and resolution in discrete simulation systems. (English) Zbl 0888.90078 INFORMS J. Comput. 9, No. 2, 195-205 (1997). MSC: 90B30 65C20 PDF BibTeX XML Cite \textit{B. L. Deuermeyer} et al., INFORMS J. Comput. 9, No. 2, 195--205 (1997; Zbl 0888.90078) Full Text: DOI OpenURL
Abu-Sbeih, Moh’d. Z.; Khayat, M. G. On the number of deadlock graphs. (English) Zbl 0855.68067 Arabian J. Sci. Eng. 21, No. 3, 437-442 (1996). MSC: 68R10 PDF BibTeX XML Cite \textit{Moh'd. Z. Abu-Sbeih} and \textit{M. G. Khayat}, Arabian J. Sci. Eng. 21, No. 3, 437--442 (1996; Zbl 0855.68067) OpenURL
Lee, Soojung; Kim, Junguk L. Resolving all deadlocks in distributed systems. (English) Zbl 0875.68459 Inf. Process. Lett. 55, No. 5, 265-271 (1995). MSC: 68W10 68W15 PDF BibTeX XML Cite \textit{S. Lee} and \textit{J. L. Kim}, Inf. Process. Lett. 55, No. 5, 265--271 (1995; Zbl 0875.68459) Full Text: DOI OpenURL
Esparza, Javier Model checking using net unfoldings. (English) Zbl 0834.68087 Sci. Comput. Program. 23, No. 2-3, 151-195 (1994). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{J. Esparza}, Sci. Comput. Program. 23, No. 2--3, 151--195 (1994; Zbl 0834.68087) Full Text: DOI OpenURL
Schiper, André; Sandoz, Alain Strong stable properties in distributed systems. (English) Zbl 1448.68161 Distrib. Comput. 8, No. 2, 93-103 (1994). MSC: 68M14 PDF BibTeX XML Cite \textit{A. Schiper} and \textit{A. Sandoz}, Distrib. Comput. 8, No. 2, 93--103 (1994; Zbl 1448.68161) Full Text: DOI OpenURL
Bukhres, Omran; Moondhra, Rajeev Performance analysis of distributed deadlock-detection algorithms. (English) Zbl 0801.68074 Mullen, Gary L. (ed.) et al., Finite fields, coding theory, and advances in communications and computing. Proceedings of the international conference on finite fields, coding theory, and advances in communications and computing, held at the University of Nevada, Las Vegas, USA, August 7-10, 1991. New York: Marcel Dekker, Inc. Lect. Notes Pure Appl. Math. 141, 253-268 (1993). MSC: 68W15 68M20 68P15 PDF BibTeX XML Cite \textit{O. Bukhres} and \textit{R. Moondhra}, Lect. Notes Pure Appl. Math. 141, 253--268 (1993; Zbl 0801.68074) OpenURL
González de Mendívil, Jose R.; Garitagoitia, Jose R. A model for deadlock detection based on automata and languages theory. (English) Zbl 0796.68149 Comput. Math. Appl. 25, No. 6, 47-55 (1993). MSC: 68Q45 68N25 PDF BibTeX XML Cite \textit{J. R. González de Mendívil} and \textit{J. R. Garitagoitia}, Comput. Math. Appl. 25, No. 6, 47--55 (1993; Zbl 0796.68149) Full Text: DOI OpenURL
Godefroid, Patrice; Wolper, Pierre Using partial orders for the efficient verification of deadlock freedom and safety properties. (English) Zbl 0772.68064 Form. Methods Syst. Des. 2, No. 2, 149-164 (1993). MSC: 68Q60 68Q10 PDF BibTeX XML Cite \textit{P. Godefroid} and \textit{P. Wolper}, Form. Methods Syst. Des. 2, No. 2, 149--164 (1993; Zbl 0772.68064) Full Text: DOI OpenURL
Javagal, Ramesh Dutt; Datta, Ajoy Kumar; Ghosh, Sukumar An algorithm for resource deadlock detection in distributed systems. (English) Zbl 0754.68017 Comput. Syst. Sci. Eng. 7, No. 4, 257-264 (1992). MSC: 68M15 68W15 PDF BibTeX XML Cite \textit{R. D. Javagal} et al., Comput. Syst. Sci. Eng. 7, No. 4, 257--264 (1992; Zbl 0754.68017) OpenURL
Peng, Wuxu; Purushothaman, S. Analysis of a class of communicating finite state machines. (English) Zbl 0790.68042 Acta Inf. 29, No. 6-7, 499-522 (1992). Reviewer: W.Peng (San Marcos/TX) MSC: 68Q10 68W15 PDF BibTeX XML Cite \textit{W. Peng} and \textit{S. Purushothaman}, Acta Inf. 29, No. 6--7, 499--522 (1992; Zbl 0790.68042) Full Text: DOI OpenURL
Grošelj, Bojan; Tropper, Carl The distributed simulation of clustered processes. (English) Zbl 0723.68107 Distrib. Comput. 4, No. 3, 111-121 (1991). MSC: 68U20 68W15 68Q10 PDF BibTeX XML Cite \textit{B. Grošelj} and \textit{C. Tropper}, Distrib. Comput. 4, No. 3, 111--121 (1991; Zbl 0723.68107) Full Text: DOI OpenURL
Peng, Wuxu; Purushothaman, S. A unified approach to the deadlock detection problem in networks of communicating finite state machines. (English) Zbl 0786.68008 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 395-404 (1991). MSC: 68M10 PDF BibTeX XML Cite \textit{W. Peng} and \textit{S. Purushothaman}, in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 395--404 (1991; Zbl 0786.68008) OpenURL
Beauquier, J.; Choquet, A.; Petit, A.; Vidal-Naquet, G. Detection of deadlocks in an infinite family of nets. (English) Zbl 0773.68004 Theoretical aspects of computer science, Proc. 8th Annu. Symp., STACS ’91, Hamburg/Ger. 1991, Lect. Notes Comput. Sci. 480, 334-347 (1991). MSC: 68M10 PDF BibTeX XML Cite \textit{J. Beauquier} et al., Lect. Notes Comput. Sci. 480, 334--347 (1991; Zbl 0773.68004) OpenURL
Kavianpour, A.; Bagherzadeh, N. Application of three-valued logic for distributed termination detection. (English) Zbl 0791.68073 Comput. Electr. Eng. 17, No. 2, 65-74 (1991). Reviewer: A.Kavianpour MSC: 68W15 68M10 68R10 PDF BibTeX XML Cite \textit{A. Kavianpour} and \textit{N. Bagherzadeh}, Comput. Electr. Eng. 17, No. 2, 65--74 (1991; Zbl 0791.68073) Full Text: DOI OpenURL
Song, Gyuyoun; Park, Donghyeon; Lee, Dongmyun; Park, Kyu Ho; Kim, Myunghwan A distributed deadlock detection algorithm: Distributed graph reconstruction algorithm. (English) Zbl 0669.68022 Inf. Process. Lett. 30, No. 5, 245-252 (1989). Reviewer: E.Kostolansky MSC: 68N25 68Q60 68N99 68W99 05C38 PDF BibTeX XML Cite \textit{G. Song} et al., Inf. Process. Lett. 30, No. 5, 245--252 (1989; Zbl 0669.68022) Full Text: DOI OpenURL
Choudhary, Alok N.; Kohler, Walter H.; Stankovic, John A.; Towsley, Don A modified priority based probe algorithm for distributed deadlock detection and resolution. (English) Zbl 0663.68032 IEEE Trans. Softw. Eng. 15, No. 1, 10-17 (1989). MSC: 68N25 68P20 PDF BibTeX XML Cite \textit{A. N. Choudhary} et al., IEEE Trans. Softw. Eng. 15, No. 01, 10--17 (1989; Zbl 0663.68032) Full Text: DOI Link OpenURL
Elmagarmid, Ahmed K.; Soundararajan, Neelam; Liu, Ming T. A distributed deadlock detection and resolution algorithm and its correctness proof. (English) Zbl 0659.68038 IEEE Trans. Softw. Eng. 14, No. 10, 1443-1452 (1988). MSC: 68N25 68Q65 68Q60 PDF BibTeX XML Cite \textit{A. K. Elmagarmid} et al., IEEE Trans. Softw. Eng. 14, No. 10, 1443--1452 (1988; Zbl 0659.68038) Full Text: DOI Link OpenURL
Elmagarmid, A. K.; Datta, A. K. Two-phase deadlock detection algorithm. (English) Zbl 0659.68037 IEEE Trans. Comput. 37, No. 11, 1454-1458 (1988). MSC: 68N25 68P20 68R10 PDF BibTeX XML Cite \textit{A. K. Elmagarmid} and \textit{A. K. Datta}, IEEE Trans. Comput. 37, No. 11, 1454--1458 (1988; Zbl 0659.68037) Full Text: DOI OpenURL
Sarkar, Dilip; Guha, Ratan Kumar A fast distributed deadlock-detection algorithm for hypercube. (English) Zbl 0658.68023 Int. J. Comput. Math. 25, No. 2, 69-82 (1988). MSC: 68N25 68N99 68Q25 PDF BibTeX XML Cite \textit{D. Sarkar} and \textit{R. K. Guha}, Int. J. Comput. Math. 25, No. 2, 69--82 (1988; Zbl 0658.68023) Full Text: DOI OpenURL
Guha, Ratan K.; Dickinson, Arthur F.; Kikawa, Allan An analysis of CMH deadlock-detection algorithm using transmission delays. (English) Zbl 0655.68027 Comput. Syst. Sci. Eng. 3, No. 4, 181-188 (1988). MSC: 68N25 68R10 PDF BibTeX XML Cite \textit{R. K. Guha} et al., Comput. Syst. Sci. Eng. 3, No. 4, 181--188 (1988; Zbl 0655.68027) OpenURL
Belik, Ferenc A distributed deadlock avoidance technique. (English) Zbl 0648.68037 Distributed algorithms, Proc. 2nd Int. Workshop, Amsterdam/Neth. 1987, Lect. Notes Comput.Sci. 312, 144-154 (1988). MSC: 68N25 68R10 PDF BibTeX XML OpenURL
Moshkov, M. Yu. Uniqueness conditions for deadlock test. (Russian) Zbl 0818.94027 Combinatorial-algebraic and probabilistic methods in applied mathematics, Interuniv. Collect., Gor’kij, 63-73 (1988). MSC: 94C12 PDF BibTeX XML Cite \textit{M. Yu. Moshkov}, in: On adaptive strategies for controlled stochastic processes. . 63--73 (1988; Zbl 0818.94027) OpenURL
Carson, Scott D.; Reynolds, Paul F. jun. The geometry of semaphore programs. (English) Zbl 0627.68022 ACM Trans. Program. Lang. Syst. 9, 25-53 (1987). MSC: 68N25 PDF BibTeX XML Cite \textit{S. D. Carson} and \textit{P. F. Reynolds jun.}, ACM Trans. Program. Lang. Syst. 9, 25--53 (1987; Zbl 0627.68022) Full Text: DOI Link OpenURL
Spirakis, Paul The parallel complexity of deadlock detection. (English) Zbl 0623.68028 Theor. Comput. Sci. 52, 155-163 (1987). MSC: 68N25 68Q25 PDF BibTeX XML Cite \textit{P. Spirakis}, Theor. Comput. Sci. 52, 155--163 (1987; Zbl 0623.68028) Full Text: DOI OpenURL
Belik, Ferenc Deadlock avoidance with a modified banker’s algorithm. (English) Zbl 0622.68030 BIT 27, 290-305 (1987). MSC: 68N25 68W99 PDF BibTeX XML Cite \textit{F. Belik}, BIT 27, 290--305 (1987; Zbl 0622.68030) Full Text: DOI OpenURL
Tsutsui, S.; Fujimoto, Y. Deadlock prevention in process control computer systems. (English) Zbl 0605.68014 Comput. J. 30, 20-26 (1987). MSC: 68N25 PDF BibTeX XML Cite \textit{S. Tsutsui} and \textit{Y. Fujimoto}, Comput. J. 30, 20--26 (1987; Zbl 0605.68014) Full Text: DOI OpenURL
Grošelj, Bojan; Tropper, Carl Pseudosimulation: an algorithm for distributed simulation with limited memory. (English) Zbl 0618.68028 Int. J. Parallel Program. 15, 413-456 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{B. Grošelj} and \textit{C. Tropper}, Int. J. Parallel Program. 15, 413--456 (1986; Zbl 0618.68028) Full Text: DOI OpenURL
Spirakis, Paul The parallel complexity of deadlock detection. (English) Zbl 0617.68044 Mathematical foundations of computer science, Proc. 12th Symp., Bratislava/Czech. 1986, Lect. Notes Comput. Sci. 233, 582-593 (1986). MSC: 68Q25 68R10 68N25 PDF BibTeX XML OpenURL
Chandy, Mani; Misra, Jayadev An example of stepwise refinement of distributed programs: quiescence detection. (English) Zbl 0598.68031 ACM Trans. Program. Lang. Syst. 8, 326-343 (1986). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{M. Chandy} and \textit{J. Misra}, ACM Trans. Program. Lang. Syst. 8, 326--343 (1986; Zbl 0598.68031) Full Text: DOI Link Link OpenURL
Zöbel, Dieter Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen. (Program-transforms for termination detection in distributed computations). (German) Zbl 0596.68029 Informationstechnik 28, 204-213 (1986). MSC: 68N25 PDF BibTeX XML Cite \textit{D. Zöbel}, Informationstechnik 28, 204--213 (1986; Zbl 0596.68029) OpenURL
Kasai, Takumi (ed.) Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005 RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985). MSC: 68-06 00B25 03-06 PDF BibTeX XML OpenURL
Zinov’ev, Eh. V.; Strekalev, A. A. Conflict situations in information systems. (Konfliktnye situatsii v informatsionnykh sistemakh). (Russian) Zbl 0609.68074 Riga: ”Zinatne”. 167 p. R. 1.10 (1985). Reviewer: M.Simersky MSC: 68P20 68-02 68N25 PDF BibTeX XML OpenURL
Elmagarmid, Ahmed K.; Sheth, Amit P.; Liu, Ming T. A partially distributed deadlock detection algorithm. (English) Zbl 0592.68027 Int. J. Comput. Inform. Sci. 14, 307-330 (1985). MSC: 68N25 PDF BibTeX XML Cite \textit{A. K. Elmagarmid} et al., Int. J. Comput. Inform. Sci. 14, 307--330 (1985; Zbl 0592.68027) Full Text: DOI OpenURL
Wuu, Gene T.; Bernstein, Arthur J. False deadlock detection in distributed systems. (English) Zbl 0563.68026 IEEE Trans. Software Eng. 11, 820-821 (1985). MSC: 68N25 PDF BibTeX XML Cite \textit{G. T. Wuu} and \textit{A. J. Bernstein}, IEEE Trans. Softw. Eng. 11, 820--821 (1985; Zbl 0563.68026) Full Text: DOI OpenURL
Gouda, Mohamed G.; Rosier, Louis E. Priority networks of communicating finite state machines. (English) Zbl 0563.68021 SIAM J. Comput. 14, 569-584 (1985). MSC: 68N25 PDF BibTeX XML Cite \textit{M. G. Gouda} and \textit{L. E. Rosier}, SIAM J. Comput. 14, 569--584 (1985; Zbl 0563.68021) Full Text: DOI OpenURL
Sinha, Mukul K.; Natarajan, N. A priority based distributed deadlock detection algorithm. (English) Zbl 0547.68027 IEEE Trans. Software Eng. 11, 67-80 (1985). MSC: 68N25 68P20 PDF BibTeX XML Cite \textit{M. K. Sinha} and \textit{N. Natarajan}, IEEE Trans. Softw. Eng. 11, 67--80 (1985; Zbl 0547.68027) Full Text: DOI OpenURL
German, Steven M. Monitoring for deadlock and blocking in Ada tasking. (English) Zbl 0553.68021 IEEE Trans. Software Eng. 10, 764-777 (1984). MSC: 68N25 68Q60 PDF BibTeX XML Cite \textit{S. M. German}, IEEE Trans. Softw. Eng. 10, 764--777 (1984; Zbl 0553.68021) Full Text: DOI OpenURL
Shmueli, Oded Dynamic cycle detection. (English) Zbl 0521.68071 Inf. Process. Lett. 17, 185-188 (1983). MSC: 68R10 68N25 PDF BibTeX XML Cite \textit{O. Shmueli}, Inf. Process. Lett. 17, 185--188 (1983; Zbl 0521.68071) Full Text: DOI OpenURL
Yu, Yao-Tin; Gouda, Mohamed G. Unboundedness detection for a class of communicating finite-state machines. (English) Zbl 0519.68067 Inf. Process. Lett. 17, 235-240 (1983). MSC: 68Q45 68R10 PDF BibTeX XML Cite \textit{Y.-T. Yu} and \textit{M. G. Gouda}, Inf. Process. Lett. 17, 235--240 (1983; Zbl 0519.68067) Full Text: DOI OpenURL
Reghbati, H. K. Liveness analysis of message-based multiprocess systems. (English) Zbl 0517.68049 INFOR 21, 20-30 (1983). MSC: 68N25 PDF BibTeX XML Cite \textit{H. K. Reghbati}, INFOR 21, 20--30 (1983; Zbl 0517.68049) Full Text: DOI OpenURL
Misra, J.; Chandy, K. M. A distributed graph algorithm: Knot detection. (English) Zbl 0489.68061 ACM Trans. Program. Lang. Syst. 4, 678-686 (1982). MSC: 68R10 68N25 PDF BibTeX XML Cite \textit{J. Misra} and \textit{K. M. Chandy}, ACM Trans. Program. Lang. Syst. 4, 678--686 (1982; Zbl 0489.68061) Full Text: DOI OpenURL
Misra, Jayadev; Chandy, K. M. Termination detection of diffusing computations in communicating sequential processes. (English) Zbl 0479.68025 ACM Trans. Program. Lang. Syst. 4, 37-43 (1982). MSC: 68N25 PDF BibTeX XML Cite \textit{J. Misra} and \textit{K. M. Chandy}, ACM Trans. Program. Lang. Syst. 4, 37--43 (1982; Zbl 0479.68025) Full Text: DOI Link OpenURL
Rypka, David J.; Lucido, Anthony P. Deadlock detection and avoidance for shared logical resources. (English) Zbl 0416.68024 IEEE Trans. Software Eng. 5, 465-471 (1979). MSC: 68N25 PDF BibTeX XML Cite \textit{D. J. Rypka} and \textit{A. P. Lucido}, IEEE Trans. Softw. Eng. 5, 465--471 (1979; Zbl 0416.68024) Full Text: DOI OpenURL
Waxman, Jerry; Rootenberg, Jacob A hardwave approach to deadlock detection in computer systems. (English) Zbl 0402.68034 Int. J. Syst. Sci. 10, 477-483 (1979). MSC: 68N25 68N99 PDF BibTeX XML Cite \textit{J. Waxman} and \textit{J. Rootenberg}, Int. J. Syst. Sci. 10, 477--483 (1979; Zbl 0402.68034) Full Text: DOI OpenURL
Menasce, Daniel A.; Muntz, Richard R. Locking and deadlock detection in distributed data bases. (English) Zbl 0396.68019 IEEE Trans. Software Eng. 5, 195-202 (1979). MSC: 68N25 68P05 PDF BibTeX XML Cite \textit{D. A. Menasce} and \textit{R. R. Muntz}, IEEE Trans. Softw. Eng. 5, 195--202 (1979; Zbl 0396.68019) Full Text: DOI OpenURL