Deadlock analysis of unbounded process networks

Deadlock detection in concurrent programs that create networks with arbitrary numbers of nodes is extremely complex and solutions either give imprecise answers or do not scale. To enable the analysis of such programs, (1) we define an algorithm for detecting deadlocks of a basic model featuring recu...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Information and computation Ročník 252; s. 48 - 70
Hlavní autoři:	Kobayashi, Naoki, Laneve, Cosimo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.02.2017 Elsevier
Témata:	Behavioural types Computation and Language Computer Science Deadlocks Fixpoints Lam programs Process calculi Programming Languages Type systems Fixpoints Behavioural types Lam programs Type systems Deadlocks Process calculi
ISSN:	0890-5401, 1090-2651
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!

Buďte první, kdo okomentuje tento záznam!