Defining deadlock with fungible resourcesNEUMAN LEVINE, Gertrude.Operating systems review. 2003, Vol 37, Num 3, pp 5-11, issn 0163-5980, 7 p.Article

Ein geschlossenes Konzept zur effizienten Behandlung der Deadlockproblematik in Betriebssystemen = Un concept élaboré pour le traitement efficace des problèmes d'interblocage apparaissant dans les systèmes d'exploitation = An elaborate concept for efficient handling of deadlock problems appearing in operating systemsZÖBEL, D.Elektronische Rechenanlagen. 1984, Vol 26, Num 1, pp 3-12, issn 0013-5720Article

False deadlock detection in distributed systemsWUU, G. T; BERNSTEIN, A. J.IEEE transactions on software engineering. 1985, Vol 11, Num 8, pp 820-821, issn 0098-5589Article

A mobile Agent Enabled approach for distributed deadlock detectionJIANNONG CAO; JINGYANG ZHOU; WEIWEI ZHU et al.Lecture notes in computer science. 2004, pp 535-542, issn 0302-9743, isbn 3-540-23564-7, 8 p.Conference Paper

On buffer-economical store-and-forward deadlock preventionAWERBUCH, B; KUTTEN, S; PELEG, D et al.IEEE transactions on communications. 1994, Vol 42, Num 11, pp 2934-2937, issn 0090-6778Article

Programming divide and conquer for a MIMD machineGRIT, D. H; MCGRAW, J. R.Software, practice & experience. 1985, Vol 15, Num 1, pp 41-53, issn 0038-0644Article

A fast method of deadlock avoidanceBAK, P; NIVAT, M.R.A.I.R.O. Informatique théorique. 1984, Vol 18, Num 1, pp 71-80, issn 0399-0540Article

Proving failure-free properties of concurrent systems using temporal logicKARP, R. A.ACM transactions on programming languages and systems. 1984, Vol 6, Num 2, pp 239-253, issn 0164-0925Article

Generalized conditions for liveness enforcement and deadlock prevention in Petri netsIORDACHE, Marian V; ANTSAKLIS, Panos J.Lecture notes in computer science. 2001, pp 184-203, issn 0302-9743, isbn 3-540-42252-8Conference Paper

Parallel discrete event simulation using shared memoryREED, D. A; MALONY, A. D; MCCREDIE, B. D et al.IEEE transactions on software engineering. 1988, Vol 14, Num 4, pp 541-553, issn 0098-5589Article

A distributed scheme for detecting communication deadlocksNATARAJAN, N.IEEE transactions on software engineering. 1986, Vol 12, Num 4, pp 531-537, issn 0098-5589Article

Max'-controlled siphons for liveness of S³PGR²CHAO, D. Y.IET control theory & applications (Print). 2007, Vol 1, Num 4, pp 933-936, issn 1751-8644, 4 p.Article

Multiserialization of iterated transactionsFLE, M. P; ROUCAIROL, G.Information processing letters. 1984, Vol 18, Num 5, pp 243-247, issn 0020-0190Article

Synthesis of a class of deadlock-free Petri netsAJOY DATTA; GHOSH, S.Journal of the Association for Computing Machinery. 1984, Vol 31, Num 3, pp 486-506, issn 0004-5411Article

Static deadlock analysis for CSP-type communicationsLadkin, P.B; Simons, B.B.1994, 14 p.Report

Unboundedness detection for a class of communicating finite-state machinesYAO-TIN YU; GOUDA, M. G.Information processing letters. 1983, Vol 17, Num 5, pp 235-240, issn 0020-0190Article

Deriving deadlock and unspecified reception free protocol converters from message mapping setsPEYRAVIAN, M; LEA, C.-T.Computer networks and ISDN systems. 1996, Vol 28, Num 13, pp 1831-1844, issn 0169-7552Article

Time-stamp approach to prevention of different deadlock types in store-and-forward networksBLAZEWICZ, J; BRZEZINSKI, J; GAMBOSI, G et al.IEEE transactions on communications. 1987, Vol 35, Num 5, pp 564-566, issn 0090-6778Article

A loop-structured switching networkWONG, F. J; ITO, M. R.IEEE transactions on computers. 1984, Vol 33, Num 5, pp 450-455, issn 0018-9340Article

Extension of the Banker's algorithm for resource allocation in a distributed operating systemMADDURI, H; FINKEL, R.Information processing letters. 1984, Vol 19, Num 1, pp 1-8, issn 0020-0190Article

Routing function and deadlock avoidance in a star graph interconnection networkMISIC, J; JOVANOVIC, Z.Journal of parallel and distributed computing (Print). 1994, Vol 22, Num 2, pp 216-228, issn 0743-7315Article

Static analysis of multiway synchronizationLadkin, P.B; Simons, B.B.1994, 14 p.Report

A theory of communicating sequential processesBROOKES, S. D; HOARE, C. A. R; ROSCOE, A. W et al.Journal of the Association for Computing Machinery. 1984, Vol 31, Num 3, pp 560-599, issn 0004-5411Article

An analytical model of adaptive wormhole routing with deadlock recoveryOULD-KHAOUA, M; KHONSARI, A.Lecture notes in computer science. 2000, pp 900-903, issn 0302-9743, isbn 3-540-67956-1Conference Paper

Deadlock avoidance in FMS based on structural theory of Petri NetsBARKAOUI, K; ABDALLAH, I. B.INRIA / IEEE symposium on emerging technologies and factories automation. 1995, pp 499-510, isbn 0-7803-2535-4, 3VolConference Paper