Normal view
MARC view
Algorithm Complexity (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)746667: Ibaraki, Tohihide 783904, Deadlock-Free Systems for a Bounded Number of Processes