نتائج البحث

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)

• Authors : Scalas, A; Dardha, O; Hu, R

Subjects: process calculi; session types; concurrent programminghttp://dx.doi.org/10.4230/DARTS.3.2.3

تفاصيل العنوان

Designing asynchronous multiparty protocols with crash-stop failures

• Authors : Barwell, A; Hou, P; Yoshida, N

Subjects: Seattle; WA; USA

• Source: European Conference on Object-Oriented Programming (ECOOP 2023) ; 1:30 ; 1:1

تفاصيل العنوان

Static race detection and mutex safety and liveness for Go programs

• Authors : Gabet, J; Yoshida, N;

Subjects: Virtual

• Source: 34th European Conference on Object-Oriented Programming (ECOOP) 2020 ; 4:30 ; 4:1

تفاصيل العنوان

GPU schedulers: How fair is fair enough?

• Authors : Sorensen, T; Evrard, H; Donaldson, AF ...

Subjects: Beijing; China

• Source: 29th International Conference on Concurrency Theory (CONCUR 2018)

تفاصيل العنوان