Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("HENNESSY MCB")

Results 1 to 7 of 7

  • Page / 1
Export

Selection :

  • and

A PROOF SYSTEM FOR THE FIRST-ORDER RELATIONAL CALCULUSHENNESSY MCB.1980; J. COMPUTER SYST. SCI.; USA; DA. 1980; VOL. 20; NO 1; PP. 96-110; BIBL. 11 REF.Article

THE SEMANTICS OF CALL-BY-VALUE AND CALL-BY-NAME IN A NONDETERMINISTIC ENVIRONMENTHENNESSY MCB.1980; S.I.A.M. J. COMPUTG; USA; DA. 1980; VOL. 9; NO 1; PP. 67-84; BIBL. 21 REF.Article

POWERDOMAINS AND NONDETERMINISTIC RECURSIVE DEFINITIONSHENNESSY MCB.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 178-193; BIBL. 23 REF.Conference Paper

AN INTRODUCTION TO A CALCULUS OF COMMUNICATING SYSTEMSHENNESSY MCB.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. 245-262; BIBL. 7 REF.Conference Paper

A TERM MODEL FOR CCSHENNESSY MCB; PLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 261-274; BIBL. 23 REF.Conference Paper

FULL ABSTRACTION FOR A SIMPLE PARALLEL PROGRAMMING LANGUAGEHENNESSY MCB; PLOITKIN GD.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 108-120; BIBL. 11 REF.Conference Paper

A MATHEMATICAL SEMANTICS FOR A NONDETERMINISTIC TYPED LAMBDA -CALCULUSHENNESSY MCB; ASHCROFT EA.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 11; NO 3; PP. 227-245; BIBL. 16 REF.Article

  • Page / 1