111 citations · 117 across the 7 of their papers we have counts for
1 paper · 1 filter
Miguel Silva, Mário Florido, Frank Pfenning
Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-b…