Funding for this research was provided by:
National Science Foundation (CCF-1438982)
Air Force Office of Scientific Research (FA8750-11-2-0084)
Air Force Research Laboratory
This article is maintained by: Elsevier
Article Title: Parameterized, concurrent session types for asynchronous multi-actor interactions
Journal Title: Science of Computer Programming
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.scico.2015.10.006
Content Type: article
Copyright: Copyright © 2015 Elsevier B.V. All rights reserved.