Work

Parameterized, concurrent session types for asynchronous multi-actor interactions

Year: 2015

Type: article

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2015.10.006

Authors: Minas Charalambides, Peter Dinges, Gul Agha

Institutions: University of Illinois Urbana-Champaign, Association for Computing Machinery

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Air Force Office of Scientific Research, Air Force Research Laboratory

Awards: XPS: FULL: FP: Collaborative Research: Model-based, Event Driven Scalable Programming for the Mobile Cloud, G9000340207

OpenAlex ID: W1838213248

FWCI: 5.455

Cites: 62

Cited by: 31

Related to: 10