Procedures and concurrency: A study in proof

  • Authors:
  • Rob Gerth;Willem P. de Roever;Marly Roncken

  • Affiliations:
  • -;-;-

  • Venue:
  • Proceedings of the 5th Colloquium on International Symposium on Programming
  • Year:
  • 1982

Quantified Score

Hi-index 0.00

Visualization

Abstract