Comparing type systems for deadlock freedom

Message-passing software systems exhibit non-trivial forms of concurrency and distribution; they are expected to follow intended protocols among communicating services, but also to never “get stuck”. This intuitive requirement has been expressed by liveness properties such as progress or (dead)lock...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of logical and algebraic methods in programming Ročník 124; s. 100717
Hlavní autoři:	Dardha, Ornela, Pérez, Jorge A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.01.2022
Témata:	Concurrency Deadlock freedom Linear logic Linear types Process calculi Session types Linear logic Linear types Deadlock freedom Session types Concurrency Process calculi
ISSN:	2352-2208
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!