Sciweavers

Share
SCP
2016

Parameterized, concurrent session types for asynchronous multi-actor interactions

4 years 3 months ago
Parameterized, concurrent session types for asynchronous multi-actor interactions
Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful for some classes of protocols, it does not cope well with parameterized, multiactor scenarios with inherent asynchrony. For example, the sliding window protocol is not expressible in previously proposed session type notations. This article defines System-A: a novel session type system, as well the associated programming language that together overcome many of the limitations of prior work. With explicit support for asynchrony and concurrency, as well as multiple forms of parameterization, we demonstrate that System-A can be used for the static verification of a large class of asynchronous communication protocols.
Minas Charalambides, Peter Dinges, Gul A. Agha
Added 09 Apr 2016
Updated 09 Apr 2016
Type Journal
Year 2016
Where SCP
Authors Minas Charalambides, Peter Dinges, Gul A. Agha
Comments (0)
books