Parameterized, concurrent session types for asynchronous multi-actor interactions

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2016
Source ID
10.1016/j.scico.2015.10.006

Entities

People

  • Gul Agha
  • Minas Charalambides
  • Peter Dinges

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • National Science Foundation