Output details
11 - Computer Science and Informatics
University of Leicester
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
<08>Multi-party session types with assertions (MSTA) are introduced to combine session types with design-by-contract. The paper generated significant interest: MSTA led to the monitoring approach of Bocchi et al. (FORTE'13), and have been applied to the analysis of
healthcare systems by Henriksen (FHIES'12). Chen and Honda (CONCUR'12) developed the run-time monitors advocated in our paper.
Yoshida and Denielou suggest to extend their POPL11 framework with MSTA. Lanese et al. sugget extensions of MSTA http://www.cs.unibo.it/~lanese/publications/fulltext/safeadapt.pdf.gz while Honda et al. (ICDCIT'11) note that MSTA can enrich the expressiveness of the Scribble programming framework by enabling the specification of fine-grained constraints.