Telecharger Cours

Type-safe Web Programming Using Routed Multiparty Session ...

Multiparty Session Types (MPST) are a typing discipline for concurrent processes that communicate via message passing. MPST theory can ensure ...



Download