Using CSP to derive a sequentially consistent DSM system

  • Authors:

  • Cortés E. Pérez;Alonso G. Román;Barradas H. Ruíz

  • Affiliations:

  • Electrical Engineering Department-Iztapalapa, Universidad Autónoma Metropolitana;Electrical Engineering Department-Iztapalapa, Universidad Autónoma Metropolitana;Electronics Engineering Department-Azcapotzalco, Universidad Autónoma Metropolitana

  • Venue:
  • Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract