Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks - MaRDI portal

Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks

From MaRDI portal

Publication:6635516

Jump to:navigation, search

DOI10.46298/lmcs-20(4:6)2024MaRDI QIDQ6635516

Jorge A. Pérez, Bas van den Heuvel

Publication date: 12 November 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

concurrency process calculi session types asynchronous communication

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6635516&oldid=40200080"