Actors: a model for reasoning about open distributed systems

  • Authors:
  • Gul A. Agha;Prasannaa Thati;Reza Ziaei

  • Affiliations:
  • Univ. of Illinois at Urbana-Champaign, Urbana;Univ. of Illinois at Urbana-Champaign, Urbana;Univ. of Illinois at Urbana-Champaign, Urbana

  • Venue:
  • Formal methods for distributed processing
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract