✦ LIBER ✦

A distributed deadlock detection algorithm: Distributed graph reconstruction algorithm

✍ Scribed by Gyuyoun Song; Donghyeon Park; Dongmyun Lee; Kyu Ho Park; Myunghwan Kim

Book ID: 113163443
Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 971 KB
Volume: 30
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(89)90202-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed algorithm for communication

Distributed algorithm for communication deadlock detection

✍ P Rontogiannis; G Pavlides; A Levy 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 534 KB

A distributed deadlock detection algorit

A distributed deadlock detection algorithm for the AND model

✍ JoséR. González de Mendívil; Carlos F. Alastruey; JoséR. Garitagoitia 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 574 KB

A distributed deadlock detection and res

A distributed deadlock detection and resolution algorithm and its correctness proof

✍ Elmagarmid, A.K.; Soundararajan, N.; Liu, M.T. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 907 KB

A modified priority based probe algorith

A modified priority based probe algorithm for distributed deadlock detection and resolution

✍ Choudhary, A.N.; Kohler, W.H.; Stankovic, J.A.; Towsley, D. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 924 KB

Distributed termination detection algori

Distributed termination detection algorithm for distributed computations

✍ R.K. Arora; S.P. Rana; M.N. Gupta 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 436 KB

A Distributed Algorithm for GSPN Reachab

A Distributed Algorithm for GSPN Reachability Graph Generation

✍ S Caselli; G Conte; P Marenzoni 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 318 KB

The applicability of generalized stochastic Petri nets (GSPNs) and other high-level modeling formalisms to real systems is often constrained by the explosion in the size of the underlying state-space representation. This paper describes a distributed program taking advantage of the large amount of m