Session Communication and Integration

Abstract

The scenario-based specification of a large distributed system is usually naturally decomposed into various modules. The integration of specification modules contrasts to the parallel composition of program components, and includes various ways such as scenario concatenation, choice, and nesting. The recent development of multiparty session types for… (More)

Topics

7 Figures and Tables

Slides referencing similar topics