Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
authFullName_s : Rumyana Neykova
Page :
sorted by
Image document

Multiparty Session Actors

 Rumyana Neykova , Nobuko Yoshida
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.131-146, ⟨10.1007/978-3-662-43376-8_9⟩
Conference papers hal-01290073v1
Image document

Implementing Multiparty Session Types in Rust

 Nicolas Lagaillardie , Rumyana Neykova , Nobuko Yoshida
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers hal-03273998v1
Page :