×

zbMATH — the first resource for mathematics

The arbiter: An active system component for implementing synchronizing primitives. (English) Zbl 0487.68008

MSC:
68N01 General topics in the theory of software
PDF BibTeX XML Cite