Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("LAUER PE")

Results 1 to 13 of 13

  • Page / 1
Export

Selection :

  • and

TOWARDS AN AXIOMATIZATION OF VALUE-THEORYLAUER PE.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 1; PP. 51-77; BIBL. 7 REF.Article

SYNCHRONIZATION OF CONCURRENT PROCESSES WITHOUT GLOBALITY ASSUMPTIONSLAUER PE.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 9; PP. 66-80; BIBL. 2 P.Article

A FORMAL SEMANTICS FOR CONCURRENT SYSTEMSSHIELDS MW; LAUER PE.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 571-584; BIBL. 9 REF.Conference Paper

ABSTRACT SPECIFICATION OF RESOURCE ACCESSING DISCIPLINES: ADEQUACY, STARVATION, PRIORITY AND INTERRUPTSLAUER PE; SHIELDS MW.1978; SIGPLAN NOT.; USA; DA. 1978; VOL. 13; NO 12; PP. 41-59; BIBL. 17 REF.Article

FORMAL SEMANTICS OF A CLASS OF HIGH-LEVEL PRIMITIVES FOR COORDINATING CONCURRENT PROCESSES.LAUER PE; CAMPBELL RH.1975; ACTA INFORMAT.; ALLEM.; DA. 1975; VOL. 5; NO 4; PP. 297-332; BIBL. 10 REF.Article

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 CONCURRENT SYSTEM SPECIFICATIONS IN COSYSHIELDS MW; LAUER PE.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 576-586; BIBL. 12 REF.Conference Paper

ON THE ABSTRACT SPECIFICATION AND FORMAL ANALYSIS OF SYNCHRONIZATION PROPERTIES OF CONCURRENT SYSTEMSSHIELDS MW; LAUER PE.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 1-32; BIBL. 2 P.Conference Paper

CONSISTENT AND COMPLEMENTARY FORMAL THEORIES OF THE SEMANTICS OF PROGRAMMING LANGUAGES.HOARE CAR; LAUER PE.1974; ACTA INFORMAT.; ALLEM.; DA. 1974; VOL. 3; NO 2; PP. 135-153; BIBL. 1 P. 1/2Article

DESIGN AND ANALYSIS OF HIGHLY PARALLEL AND DISTRIBUTED SYSTEMSLAUER PE; SHIELDS MW; BEST E et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 451-503; BIBL. 2 P.Conference Paper

FORMAL BEHAVIOURAL SPECIFICATION OF CONCURRENT SYSTEMS WITHOUT GLOBALITY ASSUMPTIONSLAUER PE; SHIELDS MW; COTRONIS JY et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 115-151; BIBL. 3 P.Conference Paper

A COSY BANKER. SPECIFICATION OF HIGHLY PARALLEL AND DISTRIBUTED RESOURCE MANAGEMENTLAUER PE; TORRIGIANI PR; DEVILLERS R et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 83; PP. 223-239; BIBL. 22 REF.Conference Paper

COSY: A SYSTEM SPECIFICATION LANGUAGE BASED ON PATHS AND PROCESSESLAUER PE; TORRIGIANI PR; SHIELDS MW et al.1979; ACTA INFORMAT.; DEU; DA. 1979; VOL. 12; NO 2; PP. 109-158; BIBL. 23 REF.Article

  • Page / 1