You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Leicester » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Leicester

Return to search Previous output Next output

Output 3 of 71 in the submission

Output title

A Theory of Design-by-Contract for Distributed Multiparty Interactions.

Type

E - Conference contribution

DOI

10.1007/978-3-642-15375-4_12

Name of conference/published proceedings

CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010.

Volume number

6269

Issue number

First page of article

162

ISSN of proceedings

Year of publication

2010

URL

http://dx.doi.org/10.1007/978-3-642-15375-4

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract