Implementing multiparty session types in rust

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/21716

Full metadata record

DC Field	Value	Language
dc.contributor.author	Lagaillardie, N	-
dc.contributor.author	Neykova, R	-
dc.contributor.author	Yoshida, N	-
dc.date.accessioned	2020-10-26T11:51:48Z	-
dc.date.available	2020-01-01	-
dc.date.available	2020-10-26T11:51:48Z	-
dc.date.issued	2020-06-10	-
dc.identifier.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	en_US
dc.identifier.isbn	9783030500283	-
dc.identifier.isbn	9783030500290	-
dc.identifier.uri	https://bura.brunel.ac.uk/handle/2438/21716	-
dc.description.sponsorship	VeTSS, EPSRC EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T006544/1 and, EP/T014709/1.	en_US
dc.format.extent	127 - 136	-
dc.language.iso	en	en_US
dc.publisher	Published on behalf of IFIP International Federation for Information Processing by Springer Nature	en_US
dc.rights	© IFIP International Federation for Information Processing 2020	-
dc.title	Implementing multiparty session types in rust	en_US
dc.type	Conference paper	en_US
dc.identifier.doi	https://doi.org/10.1007/978-3-030-50029-0_8	-
pubs.publication-status	Published	-
pubs.volume	12134 LNCS	-
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