Non-Blocking Concurrent Imperative Programming with Session Types

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…