DOI10.1016/0020-0190(88)90053-1zbMath0678.68019MaRDI QIDQ1124323
S. H. Smith
Publication date: 1988 Published in: Information Processing Letters (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0020-0190(88)90053-1
zbMATH Keywords
concurrency; communicating sequential processes; distributed program
Mathematics Subject Classification ID
68N25: Theory of operating systems
68W99: Algorithms in computer science