Non-Blocking Concurrent Imperative Programming with Session Types

Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-blocking) output; we extend it here with non-blocking input. A key idea is to postpone message reception as much as possi...

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic proceedings in theoretical computer science Ročník 238; číslo Proc. LINEARITY 2016; s. 64 - 72
Hlavní autoři:	Silva, Miguel, Florido, Mário, Pfenning, Frank
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Open Publishing Association 17.01.2017
ISSN:	2075-2180, 2075-2180
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!