CONCURRENT PROGRAMMINGBRYANT RE; DENNIS JB.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; NO 143; PP. 426-451; BIBL. 28 REF.Article

ON THE STATIC ACCESS-CONTROL MECHANISM IN CONCURRENT PASCALKIEBURTZ R; SILBERSCHATZ A.1982; COMPUTER JOURNAL; ISSN 0010-4620; GBR; DA. 1982; VOL. 25; NO 1; PP. 17-21; BIBL. 9 REF.Article

SPECIFICATION OF COMMUNICATING PROCESSES AND PROCESS IMPLEMENTATION CORRECTNESSJORRAND P.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 242-256; BIBL. 2 P.Conference Paper

PARALLEL PROGRAMMING. AN AXIOMATIC APPROACH.HOARE CAR.1975; COMPUTER LANGUAGES; G.B.; DA. 1975; VOL. 1; NO 2; PP. 151-160; BIBL. 12 REF.Article

PERMUTATION GENERATION ON VECTOR PROCESSORSMOR M; FRAENKEL AS.1982; COMPUTER JOURNAL; ISSN 0010-4620; GBR; DA. 1982; VOL. 25; NO 4; PP. 423-428; BIBL. 16 REF.Article

A COMPARATIVE SURVEY OF CONCURRENT PROGRAMMING LANGUAGESSTOTTS PD JR.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 10; PP. 50-62; BIBL. 27 REF.Article

INTERNATIONAL SYMPOSIUM ON THEORETICAL PROGRAMMING; NOVOSIBIRSK; 1972.1974; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1974; VOL. 5; PP. (413P.); BIBL. DISSEM.Conference Paper

PROGRAMMING WITH A HIGH DEGREE OF PARALLELISM IN FORTRANJESSHOPE CR.1982; COMPUT. PHYS. COMMUN.; ISSN 0010-4655; NLD; DA. 1982; VOL. 26; NO 3/4; PP. 237-246; BIBL. 10 REF.Conference Paper

OPTIMAL NETWORKS FOR DISTRIBUTING NONSEQUENTIAL PROGRAMSEICHOLZ S.1983; INFORMATION PROCESSING LETTERS; ISSN 0020-0190; NLD; DA. 1983; VOL. 16; NO 2; PP. 71-74; BIBL. 14 REF.Article

BASIC TECHNIQUES FOR THE EFFICIENT COORDINATION OF VERY LARGE NUMBERS OF COOPERATING SEQUENTIAL PROCESSORSGOTTLIEB A; LUBACHEVSKY BD; RUDOLPH L et al.1983; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1983; VOL. 5; NO 2; PP. 164-189; BIBL. 40 REF.Article

EVENT STRUCTURE SEMANTICS FOR CCS AND RELATED LANGUAGESWINSKEL G.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 561-576; BIBL. 15 REF.Conference Paper

A COMPARATIVE SURVEY OF CONCURRENT PROGRAMMING LANGUAGESSTOTTA PD JR.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 9; PP. 76-86; BIBL. 27 REF.Article

A THEORY OF INTERACTIVE PROGRAMMINGGERGELY T; URY L.1982; ACTA INF.; ISSN 0001-5903; DEU; DA. 1982; VOL. 17; NO 1; PP. 1-20; BIBL. 5 REF.Article

EDISON: A MULTIPROCESSOR LANGUAGEHANSEN PB.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 4; PP. 325-361Article

A COMMUNICATING SEQUENTIAL PROCESS LANGUAGE AND IMPLEMENTATIONROPER TJ; BARTER CJ.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 11; PP. 1215-1234; BIBL. 15 REF.Article

A METHOD FOR CONTROLLING PARALLELISM IN PROGRAMMING LANGUAGESKONSTAM AH.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 9; PP. 60-65; BIBL. 11 REF.Article

APPLICATION OF GRAPH REWRITING TO OPTIMIZATION AND PARALLELIZATION OF PROGRAMSNAGL M.1981; COMPUTING; ISSN 0010-485X; AUT; DA. 1981; SUPPL. 3; PP. 105-124; ABS. GER; BIBL. 21 REF.Article

PARALLEL PROGRAMMING FOR A CHESS ENDGAME DATABASEMESSERSCHMIDT HJ.1980; SOFTWARE-PRACT. EXPER.; GBR; DA. 1980; VOL. 10; NO 6; PP. 475-487; BIBL. 3 REF.Article

COMMUNICATION ISSUES IN PARALLEL ALGORITHMS AND SYSTEMSAGERWALA T; LINT B.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; PP. 583-588; BIBL. 29 REF.Conference Paper

ON-THE-FLY GARBAGE COLLECTION: NEW ALGORITHMS INSPIRED BY PROGRAM PROOFSBEN ARI M.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 14-22; BIBL. 8 REF.Conference Paper

SEMAPHORE PRIMITIVES AND STARVATION-FREE MUTUAL EXCLUSIONSTARK EW.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 4; PP. 1049-1072; BIBL. 21 REF.Article

SYNCHRONIZATION OF CONCURRENT PROCESSES WITHOUT GLOBALITY ASSUMPTIONSLAVER PE.1982; NEW ADVANCES IN DISTRIBUTED COMPUTER SYSTEMS. NORTH ATLANTIC TREATY ORGANIZATION ADVANCED STUDY INSTITUTE/1981/BONAS; NLD/USA/GBR; DORDRECHT; BOSTON; LONDON: D. REIDEL; DA. 1982; PP. 341-365; BIBL. 17 REF.Conference Paper

TERMINATION DETECTION OF DIFFUSING COMPUTATIONS IN COMMUNICATING SEQUENTIAL PROCESSESMISRA J; CHANDY KM.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 1; PP. 37-43; BIBL. 6 REF.Article

THE CHOICE COORDINATION PROBLEMRABIN MO.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 17; NO 2; PP. 121-134; BIBL. 6 REF.Article

SYNCHRONIZATION AND QUEUEING SPECIFICATION IN DISTRIBUTED SYSTEMSSILBERSCHATZ A.1981; HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES. 14/1981/HONOLULU HI; USA; S.L.: WESTERN PERIODICALS; DA. 1981; PP. 31-37; BIBL. 10 REF.Conference Paper