A formal specification of the QMS message system: the underlying abstract model

  • Authors:

  • W. T. Roberts

  • Affiliations:

  • Queen Mary College, London, UK

  • Venue:
  • The Computer Journal
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract