Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/21716
Title: | Implementing multiparty session types in rust |
Authors: | Lagaillardie, N Neykova, R Yoshida, N |
Issue Date: | 10-Jun-2020 |
Publisher: | Published on behalf of IFIP International Federation for Information Processing by Springer Nature |
Citation: | Lagaillardie N., Neykova R., Yoshida N. (2020) Implementing Multiparty Session Types in Rust. In: Bliudze S., Bocchi L. (eds) Coordination Models and Languages. COORDINATION 2020. Lecture Notes in Computer Science, vol 12134, pp. 127 - 136. Springer, Cham. https://doi.org/10.1007/978-3-030-50029-0_8 |
URI: | https://bura.brunel.ac.uk/handle/2438/21716 |
DOI: | https://doi.org/10.1007/978-3-030-50029-0_8 |
ISBN: | 9783030500283 9783030500290 |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | 203.93 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.