On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions

PDCAT, pp. 563-568, 2012.

Cited by: 0|Views5
EI WOS SCOPUS

Abstract:

A theory of multiparty sessions is presented in this paper, where the semantic analysis of global types ensures that the projection onto each participant preserves a strong fairness assumption, i.e., no participant of multiparty sessions will wait for messages that are never sent or will send messages that no other participant will receiv...More

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments