Reasoning About Concurrent Systems Using Types

  • Authors:
  • Davide Sangiorgi

  • Affiliations:
  • -

  • Venue:
  • FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract