Specifying and Proving Properties of Guardians for Distributed Systems

  • Authors:
  • Carl Hewitt;Giuseppe Attardi;Henry Lieberman

  • Affiliations:
  • -;-;-

  • Venue:
  • Proceedings of the International Sympoisum on Semantics of Concurrent Computation
  • Year:
  • 1979

Quantified Score

Hi-index 0.00

Visualization

Abstract