skip to main content

Interprocess Communication. final report for ONR Project N00014-84-C-0621

Lamport, Leslie (1924-....) ; SRI International

Ft. Belvoir : Defense Technical Information Center, 1985

Voir les exemplaires  et autres localisations

  • Titre:
    Interprocess Communication. final report for ONR Project N00014-84-C-0621
  • Autre(s) auteur(s): Lamport, Leslie (1924-....) ;
    SRI International
  • Sujets: COMMUNICATION ;
    PROCESSUS ;
    H-INF.TH.
  • Description: Mines : USA .MAJ:90-04-10
    Interprocess communication is studied without assuming any lower-level communication primitives. Three classes of communication registers are considered, and several constructions are given for implementing one class of register with a weaker class. A formalism is developed for reasoning about concurrent systems that does not assume an atomic grain of action
  • Éditeur: Ft. Belvoir : Defense Technical Information Center
  • Date de publication: 1985
  • Format: 1 vol. (44 p.)
  • Langue: Anglais
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré