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
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes - MaRDI portal

The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes

From MaRDI portal

Publication:3938475

Jump to:navigation, search

DOI10.1109/TC.1982.1675975zbMath0479.68024MaRDI QIDQ3938475

Kurt Lautenbach, Werner Kluge

Publication date: 1982

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

zbMATH Keywords

synchronization Petri-nets memory access conflicts synchronic distance channel processors

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (5)

Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets ⋮ Proving nonreachability by modulo-invariants ⋮ Structure theory of equal conflict systems ⋮ Three measures for synchronic dependence in Petri nets ⋮ Fair relation and modified synchronic distances in a Petri net

This page was built for publication: The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes

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