Timed runtime monitoring for multiparty conversations
- Submitting institution
-
Brunel University London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 062-191657-7000670
- Type
- D - Journal article
- DOI
-
10.1007/s00165-017-0420-8
- Title of journal
- Formal Aspects Of Computing
- Article number
- -
- First page
- 877
- Volume
- 29
- Issue
- 5
- ISSN
- 0934-5043
- Open access status
- Compliant
- Month of publication
- September
- Year of publication
- 2017
- URL
-
https://link.springer.com/article/10.1007%2Fs00165-017-0420-8
- 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
-
2
- Research group(s)
-
1 - Artificial Intelligence (AI)
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The work is done in collaboration with the NFS Ocean Observatory Initiative (Matthew Arrott, marrott@novgp.com), formalising a common OOI protocol for protocol streaming with time constraints (https://oceanobservatories.org/). The paper is the most cited paper in the journal for this year, and the expressivity of the monitoring framework is acknowledged in seminal paper on temporal session types by Das, Hoffman and Pfenning (ACM POPL'18, https://doi.org/10.1145/3236786). It led to the EPSRC First Grant (EP/N035372/1) and the EPSRC standard grant(EP/T014512/1).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
