Type Systems for Concurrent Calculi (Abstract)

  • Authors:

  • Benjamin C. Pierce

  • Affiliations:

  • -

  • Venue:
  • CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
  • Year:
  • 1998

  • π-calculi

    Formal methods for distributed processing

Quantified Score

Hi-index 0.00

Visualization

Abstract