VERMEIDUNG VON DEADLOCKS IM ALLGEMEINEN UND VON PUFFER-DEADLOCKS BEI STOREES AND FORWARD. KOMMUNIKATION IM BESONDEREN. = COMMENT EVITER LE "VERROU MORTEL" EN GENERAL ET LE VERROU MORTEL DU TAMPON LORS DE COMMUNICATION "STORE AND FORWARD" EN PARTICULIERGUENTHER K.1974; MITT. GESELLSCH. MATH. DATENVERARBEIT.; DTSCH.; DA. 1974; NO 28; PP. 1-15; BIBL. 2 REF.Article

Ein einfacher Algorithmus zur Auflösung von Deadlocks in Verteilten Datenbanksystemen = Un algorithme simple pour la détection de verrou mortel dans les systèmes de bases de données réparties = A simple algorithm for the detection of deadlaks in distributed database systemsSCHERG, W.Angewandte Informatik. 1984, Num 2, pp 60-61, issn 0013-5704Article

COMMENT ON DEADLOCK PREVENTION METHOD = COMMENTAIRE SUR UNE METHODE DE PREVENTION DE BLOCAGEPARNAS DL; HABERMANN AN.1972; COMMUNIC. A.C.M.; U.S.A.; DA. 1972; VOL. 15; NO 9; PP. 840-841; BIBL. 2 REF.Serial Issue

CRITERES DE SUPPRESSION DES PROCESSUS VERROUILLESKOTOWSKI M.1976; PRACE C.O. P.A.N.,; POLSKA; DA. 1976; NO 268; PP. 1-16; ABS. ANGL. RUSSEArticle

VERROU MORTEL ET RESSOURCES SIMULTANEMENT PARTAGEABLESGARDARIN G; ROCHER M.1972; IN: TECH. INF. CONGR. AFCET. GRENOBLE, 1972; PARIS; AFCET; DA. 1972; VOL. 1; PP. 225-241; BIBL. 3 REF.Conference Paper

ACCES SYNCHRONIZATION AND DEADLOCK-ANALYSIS IN DATABASE SYSTEMS: AN IMPLEMENTATION-ORIENTED APPROACH.SCHLAGETER G.1975; INFORM. SYST.; G.B.; DA. 1975; VOL. 1; NO 3; PP. 97-102; BIBL. 11 REF.Article

A DEADLOCK-FREE SCHEME FOR RESOURCE LOCKING IN A DATA BASE ENVIRONMENT.CHAMBERLIN DD; BOYCE RF; TRAIGER IL et al.1974; IN: INF. PROCESS. 74. INT. FED. PROCESS. CONGR.; STOCKHOLM; 1974; AMSTERDAM; NORTH HOLLAND PUBL.; DA. 1974; PP. 340-343; BIBL. 2 REF.Conference Paper

SIMULATION AND MODELING.1975; AMSTERDAM.; NORTH-HOLLAND; DA. 1975; PP. 53-84; BIBL. DISSEM.; (WORKSHOP MICROARCHIT. COMPUT. SYST. PREPR.; NICE; 1975)Conference Proceedings

A GENERAL MECHANISM FOR AVOIDING STARVATION WITH DISTRIBUTED CONTROL.DEVILLERS RE; LAUER PE.1978; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1978; VOL. 7; NO 3; PP. 156-158; BIBL. 4 REF.Article

VERIFYING PROPERTIES OF PARALLEL PROGRAMS: AN AXIOMATIC APPROACH.OWICKI S; GRIES D.1976; COMMUNIC. A.C.M.; U.S.A.; DA. 1976; VOL. 19; NO 5; PP. 279-285; BIBL. 9 REF.; (ACM SYMP. OPER. SYST. PRINC. 5; AUSTIN, TEX.; 1975)Conference Paper

B-TREES IN A SYSTEM WITH MULTIPLE USERS.SAMADI B.1976; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1976; VOL. 5; NO 4; PP. 107-112; BIBL. 4 REF.Article

REDUCTION: A METHOD OF PROVING PROPERTIES OF PARALLEL PROGRAMS.LIPTON RJ.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 12; PP. 717-721; BIBL. 6 REF.; (2ND. ACM SYMP. PRINC. PROGRAM. LANG.; PALO ALTO, CALIF.; 1975)Conference Paper

An application of boolean algebra to system deadlock problemsNEZU, K.NEC research & development. 1983, Num 71, pp 106-113, issn 0547-051XArticle

DEADLOCK-FREE PARALLEL PROCESSING.HILL AG; TOWNSEND HRA.1975; IN: INT. JOINT CONF. ARTIF. INTELL. 4. ADV. PAP.; TBILISI; 1975; CAMBRIDGE, MASS.; ARTIF. INTELL. LAB.; DA. 1975; VOL. 2; PP. 534-537; BIBL. 11 REF.Conference Paper

A HARDWARE APPROACH TO DEADLOCK DETECTION IN COMPUTER SYSTEMSWAXMAN J; ROOTENBERG J.1979; INTERNATION. J. SYST. SCI.; GBR; DA. 1979; VOL. 10; NO 5; PP. 477-483; BIBL. 8 REF.Article

A METHOD DEADLOK-FREE RESOURCE ALLOCATION AND FLOW CONTROL IN PACKET NETWORKS.RAUBOLD E; HAENLE J.1976; IN: ADV. THROUGH. RESOUR. SHARING. INT. CONF. COMPUT. COMMUN. 3. PROC.; TORONTO; 1976; WASHINGTON, D.C.; INT. COUNC. COMPUT. COMMUN.; DA. 1976; PP. 483-487; BIBL. 8 REF.Conference Paper

UNE ETUDE COMPARATIVE DES METHODES DE PREVENTION DE L'INTERBLOCAGEBAK P.1976; PODSTAWY STEROWAN.; POLSKA; DA. 1976; VOL. 6; NO 4; PP. 359-382; ABS. ANGL. RUSSE; BIBL. 17 REF.Article

FREE BUFFER ALLOCATION AN INVESTIGATION BY SIMULATION.GIESSLER A; HANLE J; KONIG A et al.1978; COMPUTER NETWORKS; NLD; DA. 1978; VOL. 2; NO 3; PP. 191-208; BIBL. 7 REF.Article

SOME PROPERTIES OF DEADLOCK DETECTION AND RECOVERY IN READERS AND WRITERS PROBLEMS.BOARI M; NATALI A.1976; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1976; VOL. 5; NO 4; PP. 118-122; BIBL. 8 REF.Article

LANG. ENGGOLD EM.1978; S.I.A.M.J. COMPUTG; USA; DA. 1978; VOL. 7; NO 3; PP. 320-336; BIBL. 6 REF.Article

FORMAL VERIFICATIONS OF PARALLEL PROGRAMS.KELLER RM.1976; COMMUNIC. A.C.M.; U.S.A.; DA. 1976; VOL. 19; NO 7; PP. 371-384; BIBL. 21 REF.Article