Computer Science – Programming Languages
Scientific paper
2012-03-04
LMCS 8 (1:24) 2012
Computer Science
Programming Languages
Scientific paper
10.2168/LMCS-8(1:24)2012
Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities.
Castagna Giuseppe
Dezani-Ciancaglini Mariangiola
Padovani Luca
No associations
LandOfFree
On Global Types and Multi-Party Session does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On Global Types and Multi-Party Session, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Global Types and Multi-Party Session will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-132223