Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: 3rd International Workshop on Behavioural Types (BEAT), 1st September, 2014, Rome, Italy. (doi:https://doi.org/10.4204/EPTCS.162.3) (Full text available)
Download (295kB)
Preview
|
|
|
Official URL http://dx.doi.org/10.4204/EPTCS.162.3 |
Item Type: | Conference or workshop item (Paper) |
---|---|
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA299 Analysis, Calculus |
Divisions: |
Faculties > Sciences > School of Computing Faculties > Sciences > School of Computing > Programming Languages and Systems Group |
Depositing User: | Laura Bocchi |
Date Deposited: | 05 Nov 2014 10:23 UTC |
Last Modified: | 29 Nov 2016 15:20 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/43736 (The current URI for this page, for reference purposes) |
Bocchi, Laura: | ![]() |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):