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

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

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

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

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

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

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

An Implementation of mutual inclusionHOOGERWOORD, R. R.Information processing letters. 1986, Vol 23, Num 2, pp 77-80, issn 0020-0190Article

Pseudosimulation: an algorithm for distributed simulation with limited memoryGROSELJ, B; TROPPER, C.International journal of parallel programming. 1986, Vol 15, Num 5, pp 413-456, issn 0885-7458Article

Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphonsCHAO, D. Y; LI, Z.IET control theory & applications (Print). 2009, Vol 3, Num 4, pp 391-403, issn 1751-8644, 13 p.Article

Run-time detection of tasking deadlocks in real-time systems with the ada 95 annex of real-time systemsJINGDE CHENG.Lecture notes in computer science. 2006, pp 167-178, issn 0302-9743, isbn 3-540-34663-5, 1Vol, 12 p.Conference Paper

The classification of deadlock prevention and avoidance is erroneousLEVINE, Gertrude Neuman.Operating systems review. 2005, Vol 39, Num 2, pp 47-50, issn 0163-5980, 4 p.Article

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

Design of T-liveness enforcing supervisors in Petri netsIORDACHE, Marian V; ANTSAKLIS, Panos J.IEEE transactions on automatic control. 2003, Vol 48, Num 11, pp 1962-1974, issn 0018-9286, 13 p.Article

RacerX: Effective, static detection of race conditions and deadlocksENGLER, Dawson; ASHCRAFT, Ken.Operating systems review. 2003, Vol 37, Num 5, pp 237-252, issn 0163-5980, 16 p.Conference Paper

Architectural types revisited: Extensible and/or connectionsBERNARDO, Marco; FRANZE, Francesco.Lecture notes in computer science. 2002, pp 113-127, issn 0302-9743, isbn 3-540-43353-8Conference Paper

ANNs and the neural basis for general intelligenceWALLACE, J. G; BLUFF, K.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42235-8, part I, 807-813Conference Paper

Improving the up^*/down^* routing scheme for networks of workstationsSANCHO, J. C; ROBLES, A.Lecture notes in computer science. 2000, pp 882-889, issn 0302-9743, isbn 3-540-67956-1Conference Paper

Deadlock detection using (0, 1)-labelling of resource allocation graphsCAHIT, I.IEE proceedings. Computers and digital techniques. 1998, Vol 145, Num 1, pp 68-72, issn 1350-2387Article