Output details
11 - Computer Science and Informatics
University of Leicester
Return to search
Output 0 of 0 in the submission
Output title
Multiparty Sessions in SOC
Type
E - Conference contribution
Name of conference/published proceedings
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, LNCS 5052
Volume number
-
Issue number
-
First page of article
67
ISSN of proceedings
-
Year of publication
2008
URL
-
Number of additional authors
3
Additional information
<08> This paper is the first to consider dynamic sessions to coordinate distributed processes that can join and leave sessions. The paper highlighted limitations of existing verification approaches as noted by Bettini et al. (CONCUR'08) and by Yoshida et al (http://tinyurl.com/ld5ca2h). The behavioural theory introduces was reviewed in a comparative study by Lanese et al. (LNCS 6582). The primitives proposed are suggested as being suitable for multi-party extensions of BPEL by Michaux et al. (WWV'12 and JLAP'13) and were used to assess the expressiveness of graph-based models (Bruni et al. WSFM'09).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
22
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
