Parameterized, concurrent session types for asynchronous multi-actor interactions
详细信息 查看全文
- 作者：Minas Charalambides ; charala1@illinois.edu" class="auth_mail" title="E-mail the corresponding author ; Peter Dinges pdinges@acm.org" class="auth_mail" title="E-mail the corresponding author ; Gul Agha agha@illinois.edu" class="auth_mail" title="E-mail the corresponding author
- 关键词：Session types ; Parameterized ; Static ; Actors ; Concurrency
- 刊名：Science of Computer Programming
- 出版年：2016
- 出版时间：1 January-1 February 2016
- 年：2016
- 卷：115-116
- 期：Complete
- 页码：100-126
- 全文大小：661 K
文摘
Session types offer static guarantees for concurrent code. Benefits of our system include:
- •
It can handle a parameterized number of actors (multi-actor programs).
- •
It can handle parameterized concurrency.
- •
It can handle asynchronous communication.
- •
It includes novel parameterized operators, such as one to express atomicity constraints.
- •
It deals with a series of cases that prior work could not handle.