Practical interruptible conversations : Distributed dynamic verification with multiparty session types and Python
- Submitting institution
-
University of Hertfordshire
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 20254637
- Type
- D - Journal article
- DOI
-
10.1007/s10703-014-0218-8
- Title of journal
- Formal Methods in System Design
- Article number
- 3
- First page
- 197
- Volume
- 46
- Issue
- 3
- ISSN
- 0925-9856
- Open access status
- Out of scope for open access requirements
- Month of publication
- November
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
-
- Citation count
- 14
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This work was applied in a national-scale cyberinfrastructure, the OOI (e.g., [1,2,3]); and resulted in collaboration/sponsorship by VMWare, Pivotal and RedHat (see paper Acknowledgements). The topics were invited as international summer school [6,7,8] and university [9] lectures; and invited as book chapters [4,5]. The tools have been studied by students at international universities, e.g., Gifu, Aalborg and St. Francis Xavier University. It has inspired applications of session types by other researchers, e.g., in gradual types [10]. [1]https://confluence.oceanobservatories.org/display/CIDev/Conversation+Monitor+Prototype+and+Design+Recommendations
[2]
https://confluence.oceanobservatories.org/display/syseng/CIAD+COI+TV+Conversations+and+Session+Types
[3] https://confluence.oceanobservatories.org/display/CIPUB/Publications
[4] https://www.nowpublishers.com/article/Details/PGL-031
[5] https://www.riverpublishers.com/book_details.php?book_id=439
[6] http://www.dcs.gla.ac.uk/research/betty/summerschool2014.behavioural-types.eu/programme.html
[7] http://www.dcs.gla.ac.uk/research/betty/summerschool2016.behavioural-types.eu/programme.html
[8] http://flolac.iis.sinica.edu.tw/flolac18/
[9] Keio University. 1-6 August, 2018.
[10] https://link.springer.com/content/pdf/10.1007/978-3-662-45917-1_10.pdf p.144
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -