Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Submitting institution
-
Brunel University London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 063-191658-7000670
- Type
- D - Journal article
- DOI
-
10.1007/s10703-014-0218-8
- Title of journal
- Formal Methods In System Design
- Article number
- -
- 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)
-
1 - Artificial Intelligence (AI)
- Citation count
- 14
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- It is the first application of multiparty session types for verification of scripting languages, and the first application of the theory to an industry use case. The verification technique is partially embedded in the kernel endpoint code (influenced\applied in the design of the verification layer) in the cyberinfrastructure network of NFS Ocean Observatory Initiative (https://oceanobservatories.org/)(Mathew Arrot, marrott@novgp.com). The work also led to design modification of the runtime in the cell library (Ask Solem, ask@celeryproject.org, VMWare\Pivotal). It led to Dr Neykova’s EPSRC Doctoral PRIZE Fellowship and a studentship funded by UK Research Institute in Verified Trustworthy Software Systems .
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
